Cargando…
Petri-Netz basierte Verifikation von funktionalen Testfällen.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Alemán |
| Publicado: |
Göttingen :
Cuvillier Verlag,
2012.
|
| Colección: | Audi Dissertationsreihe.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.