Publications
Environment-Independent Framework for Early Error Discovery in Embedded System Designs
Maestro-a model-based systems engineering environment for complex electronic systems
22nd Annual International Symposium of the International Council on Systems Engineering, INCOSE 2012 and the 8th Biennial European Systems Engineering Conference 2012, EuSEC 2012
Environment-Independent Framework for Early Error Discovery in Embedded Systems Designs
Practical Integration of Simulation and Formal Verification of Embedded Systems through Library Module Pairings
5 Results