Inproceedings,

Modular and Distributed Verification of SysML Activity Diagrams.

, , and .
MODELSWARD, page 202-205. SciTePress, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews