Loading…
Petri-Netz basierte Verifikation von funktionalen Testfällen.
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Alemán |
| Published: |
Göttingen :
Cuvillier Verlag,
2012.
|
| Series: | Audi Dissertationsreihe.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- Kurzfassung; Abstract; Danksagung; Inhaltsverzeichnis; 1 Einleitung; 2 Funktionsentwicklung in derAutomobilindustrie; 3 Motivation und Problemstellung; 4 Mathematische Grundlagen; 5 Aktionslogik; 6 Verifikation der EXAM-Testmodelle; 7 Anwendungsbeispiel; 8 Praktischer Einsatz; 9 Zusammenfassung und Ausblick; Abbildungsverzeichnis; Tabellenverzeichnis; Literaturverzeichnis.