Verifikation des NSFLEX-Verfahrens an verschiedenen Testfällen
MBB-S-PUB ; 390
1990
97 S
Diplomarb. 1989
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Report
Unbekannt
Petri-Netz basierte Verifikation von funktionalen Testfällen
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2012
|Entwicklung von Testfällen für ERTMS
DataCite | 2019
|Entwicklung von Testfällen für ERTMS (Anhang 2)
DataCite | 2019
|