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

Marcin Jamro, Dariusz Rzonca, Wojciech Rzasa. Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model. Computers in Industry, 71:77-87, 2015. [doi]

Abstract

Abstract is missing.