On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study
J. Jacobs and A. C. Simpson
Book Title
Proceedings of the 8th Brazilian Symposium on Software Components‚ Architectures and Reuse (SBCARS 2014)
ISBN
978−1−4799−7860−1
Pages
95−104
Publisher
IEEE
Year
2014