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
- LSF ID
- 12259
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 5086
- Sonstiges
- der Hochschule zugeordnete*r Autor*in