Compositional Semantics and Analysis of Hierarchical Block Diagrams - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Modular code generation from synchronous block diagrams: modularity vs. code sizeRoberto Lublinerman, Christian Szegedy, Stavros Tripakis. POPL 2009: 78-89 [doi]

runs on WebDSL