Hierarchical Modeling and Verification of Embedded Systems.

Luis Alejandro Corts, Petru Eles, Zebo Peng

Browse the full DSD paper archive.