Aktuelle Publikation
Automated Generation of System-Level AMS Operating Condition Checks: Your Model’s Insurance Policy
Georg Gläser1, Martin Grabmann1, Gerrit Kropp1, Andreas Fürtig2
2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), , Giardini Naxos, Italy, pp. 1-4, DOI: doi.org/10.1109/SMACD.2017.7981567
1IMMS Institut für Mikroelekronik- und Mechatronik-Systeme gemeinnützige GmbH (IMMS GmbH), Ehrenbergstraße 27, 98693 Ilmenau, Germany, 2Goethe Universität Frankfurt a. M., Institute for Computer Science, Robert-Mayer-Str. 11-15, 60325 Frankfurt am Main, Germany




