Petri-Netz basierte Verifikation von funktionalen Testfällen
1. Aufl.
2012
VIII, 211 S.
Ill., graph. Darst.
Digital preservation by Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek
Theses
German
DDC: | 629.25490285514 | |
RVK: | ZO 4250 |
Verifikation des NSFLEX-Verfahrens an verschiedenen Testfällen
TIBKAT | 1990
|Entwicklung von Testfällen für ERTMS
DataCite | 2019
|Entwicklung von Testfällen für ERTMS (Anhang 2)
DataCite | 2019
|Statemate basierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
British Library Conference Proceedings | 2000
|