On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
J. Jacobs and A. C. Simpson
ISSN
1619−1366
Journal
International Journal on Software and Systems Modeling
Year
2016
J. Jacobs and A. C. Simpson