A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
J. Jacobs and A. C. Simpson
Book Title
Proceedings of the 3rd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2014)
ISBN
??
ISSN
1865−0929
Pages
??−??
Series
Communications in Computer and Information Science
Volume
??
Year
2015