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 Sammelwerk / Fach: Informatik
Fakultät für Wirtschaftswissenschaften
Titel:
Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
Autor(in):
Formann, Johannes im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Kimmeskamp, Thorsten im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Echtle, Klaus im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Tappe, Dominik; Weinberger, Katharina; Bulach, Slava; Mittag, Maximilian
Erscheinungsjahr
2009
Erschienen 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
ISBN