Modeling TCL via DTMC - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Modeling TCL via DTMC

Modeling TCL via DTMC

Export

All authors

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

Publishing date

09 / 2012

Type of Publication

misc

Organization

Scottish Informatics & Computer Science Alliance

Projects

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

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals