Formann, Johannes; Kimmeskamp, Thorsten; Echtle, Klaus; Tappe, Dominik; Weinberger, Katharina; Bulach, Slava; Mittag, Maximilian:
Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
In: Zuverlässigkeit und Entwurf : 3. GMM/GI/ITG-Fachtagung vom 21. bis 23. September 2009 in Stuttgart : (Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik: GMM-Fachbericht ; 61) / Sattler, Sebastian (Hrsg.). - Berlin, Offenbach: VDE Verlag, 2009, S. 145 - 152
Buchaufsatz/Kapitel in Sammelwerk2009Informatik
Fakultät für Wirtschaftswissenschaften
Titel:
Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
Autor(in):
Formann, JohannesLSF; Kimmeskamp, ThorstenLSF; Echtle, KlausLSF; Tappe, Dominik; Weinberger, Katharina; Bulach, Slava; Mittag, Maximilian
Erscheinungsjahr
2009