Cited By
View all- Baddour RPaspaliaris AHerrera D(2015)SCV2: A model-based validation and verification approach to system-of-systems engineering2015 10th System of Systems Engineering Conference (SoSE)10.1109/SYSOSE.2015.7151960(422-427)Online publication date: May-2015
- Findenig RLeitner TEcker W(2012)Single-source hardware modeling of different abstraction levels with State Charts2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2012.6418241(41-48)Online publication date: Nov-2012
- Cappiello CHinostroza APernici BSami MHenis EKat RMeth KMura M(2011)ADSCProceedings of the First international conference on Information and communication on technology for the fight against global warming10.5555/2035539.2035560(165-179)Online publication date: 30-Aug-2011
- Show More Cited By