| Bibliography | Tilk, Maren: Sat-basierte Überprüfung der Fehlersicherheit von Schaltungen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Master Thesis No. 8 (2015).
50 pages, german.
|
|---|
| CR-Schema | B.8.1 (Reliability, Testing, and Fault-Tolerance)
C.4 (Performance of Systems)
|
|---|
| Abstract | wurde nicht veröffentlicht
|
|---|
| Department(s) | University of Stuttgart, Institute of Technical Computer Science, Computer Architecture
|
|---|
| Superviser(s) | Dalirsani, Atefe; Kochte, Michael |
|---|
| Entry date | March 23, 2015 |
|---|