Property checking with constraint integer programming

von Achterberg, Tobias
Veröffentlicht 2007

Virtual hardware-in-the-loop co-simulation for multi-domain automotive systems via the functional mock-up interface

von Bücs, Róbert Lajos
Veröffentlicht in Languages, design methods, and tools for electronic system design (2016)