Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems - 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
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems

Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems

Export

All authors

Teige, Tino and Eggers, Andreas and Fränzle, Martin

Journal

Nonlinear Analysis: Hybrid Systems

Publishing date

01 / 2011

Type of Publication

article

Publisher

Elsevier

Pages

343-366

OFFIS Autoren

Martin Fränzle

Martin Fränzle

Privacy Data Transparency Contact Legals