Special Session 1: High-Level Modeling and Verification of Automotive/Transportation Systems

Author(s)
Reiter, Sebastian and Viehl, Alexander and Bringmann, Oliver and Rosenstiel, Wolfgang
Download .bib
Download .bib
Published by
Alexander Viehl