Modeling TCL via DTMC - OFFIS

Ihr Browser unterstützt kein JavaScript!

Um alle Funktionen dieser Seite nutzen zu können, benötigen Sie JavaScript!<br> Bitte aktualisieren Sie Ihren Browser oder aktivieren Sie JavaScript in den Einstellungen.

Home
OFFIS
Publikationen
Modeling TCL via DTMC

Modeling TCL via DTMC

Export

Alle Autoren

Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils

Erscheinungsdatum

09 / 2012

Publikationstyp

misc

Veranstalter der Konferenz

Scottish Informatics & Computer Science Alliance

Projekte

MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Datenschutz Datentransparenz Kontakt Impressum