10 citations · 32 across the 26 of their papers we have counts for
1 paper · 2 filters
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics,…