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
2009Buchaufsatz/Kapitel in Sammelwerk
InformatikFakultät für Wirtschaftswissenschaften
Titel:
Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
Autor*in:
Formann, JohannesUDE
LSF ID
50488
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Kimmeskamp, ThorstenUDE
LSF ID
12259
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Echtle, KlausUDE
LSF ID
5086
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Tappe, Dominik;Weinberger, Katharina;Bulach, Slava;Mittag, Maximilian
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)
Herausgeber*in:
Sattler, Sebastian
Erscheinungsort:
Berlin, Offenbach
Verlag:
VDE Verlag
Erscheinungsjahr:
2009
in:
S. 145 - 152
ISBN
978-3-8007-3178-7