System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

Suad Kajtazovic, Christian Steger, Markus Pistauer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results