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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.