Zeitbewertete Prädikat/Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme
Koblenz: Universität Koblenz-Landau 2008
Erscheinungsjahr: 2008
Publikationstyp: Buch
Sprache: Deutsch
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Hupf, Katharina (Autor)
