Modeling and Verification of Component Connectors

Published in Proceedings of International Conference on Formal Engineering Methods, 2018

Recommended citation: Xiyue Zhang. "Modeling and Verification of Component Connectors." Proceedings of International Conference on Formal Engineering Methods. ICFEM 2018. https://link.springer.com/chapter/10.1007/978-3-030-02450-5_26