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
ISBN: 978-3-8007-3178-7
Buchaufsatz / Kapitel / Fach: Informatik
Fakultät für Wirtschaftswissenschaften

Dieser Eintrag ist freigegeben.