Bibliograph. Daten | Tilk, Maren: Sat-basierte Überprüfung der Fehlersicherheit von Schaltungen. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Masterarbeit Nr. 8 (2015). 50 Seiten, deutsch.
|
CR-Klassif. | B.8.1 (Reliability, Testing, and Fault-Tolerance) C.4 (Performance of Systems)
|
Kurzfassung | wurde nicht veröffentlicht
|
Abteilung(en) | Universität Stuttgart, Institut für Technische Informatik, Rechnerarchitektur
|
Betreuer | Dalirsani, Atefe; Kochte, Michael |
Eingabedatum | 23. März 2015 |
---|