TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2010
Anzahl der Einträge: 1.
2010
Oberkönig, Martin (2010)
Anwendung normalisierter Eigenschaften zur Verbesserung von Qualitätsaussagen in der funktionalen Hardware-Verifikation.
Buch, Bibliographie