Cited By
View all- Weissnegger RSchachner MPistauer MKreiner CRömer KSteger C(2018)Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive DomainSolutions for Cyber-Physical Systems Ubiquity10.4018/978-1-5225-2845-6.ch008(195-222)Online publication date: 2018
- Weissnegger RKreiner CPistauer MRömer KSteger C(2017)SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic SystemsProcedia Computer Science10.1016/j.procs.2017.05.407109(392-399)Online publication date: 2017