Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model

Autor: Jamro, Marcin, Rzonca, Dariusz, Rząsa, Wojciech
Zdroj: In Computers in Industry August 2015 71:77-87
Databáze: ScienceDirect