Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
J. Jacobs and A. C. Simpson
Book Title
Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013)
ISBN
978−3−642−41202−8
ISSN
0302−9743
Pages
265–280
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8144
Year
2013