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 (Eds.). - Berlin, Offenbach: VDE Verlag, 2009, pp. 145 - 152
2009book article/chapter in collection
Computer ScienceFaculty of Business Administration and Economics
Title:
Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
Author:
Formann, JohannesUDE
LSF ID
50488
Other
connected with university
;Kimmeskamp, ThorstenUDE
LSF ID
12259
Other
connected with university
;Echtle, KlausUDE
LSF ID
5086
Other
connected with university
;Tappe, Dominik;Weinberger, Katharina;Bulach, Slava;Mittag, Maximilian
Appears 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)
Editor:
Sattler, Sebastian
Place of publication:
Berlin, Offenbach
Publisher:
VDE Verlag
Year of publication:
2009
in:
pp. 145 - 152
ISBN
978-3-8007-3178-7