Präsentation von Forschungsergebnissen auf der Konferenz ESSCIRC 2014 in Venedig. Foto: IMMS.
Präsentation von Forschungsergebnissen auf der Konferenz ESSCIRC 2014 in Venedig. Foto: IMMS.

Auszeichnung

Competition Runner-up für den Beitrag: Automated Generation of System-Level AMS Operating Condition Checks: Your Model's Insurance Policy

Georg Gläser1. Martin Grabmann1. Gerrit Kropp1. Andreas Fürtig2.

14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, 12th-15th June 2017, Giardini Naxos - Taormina, Italy,

1IMMS Institut für Mikroelekronik- und Mechatronik-Systeme gemeinnützige GmbH, Ehrenbergstraße 27, D-98693 Ilmenau, Germany. 2Institute for Computer Science, Goethe Universität Frankfurt a. M., Germany.