Compositional Semantics and Analysis of Hierarchical Block Diagrams

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis. Compositional Semantics and Analysis of Hierarchical Block Diagrams. In Dragan Bosnacki, Anton Wijs, editors, Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Volume 9641 of Lecture Notes in Computer Science, pages 38-56, Springer, 2016. [doi]

Abstract

Abstract is missing.