Textdokument
Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text
Dateien
Zusatzinformation
Datum
1989
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Uni. Erlangen-Nürnberg
Zusammenfassung
Das Verfahren vereint die Beschreibung von Parallelität und dem kompositionellen Ansatz. Mit einem Interpreter werden Spezifikationsmodelle ausführbar und stellen einen Prototypen des zu entwerfenden Systems dar.