A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data

Buchtitel

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Titel der Konferenz

Embedded World 2012 Exhibition and Conference

Alle Autoren

Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz

Jahr

2012

Titel

Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process

Buchtitel

Proceedings of the Conference on Design, Automation and Test in Europe

Titel der Konferenz

Proceedings of the Conference on Design, Automation and Test in Europe

Alle Autoren

Ellen, Christian; Etzien Christoph; Oertel, Markus

Jahr

2012

Titel

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Buchtitel

Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK

Titel der Konferenz

Formal Modeling and Analysis of Timed Systems (FORMATS)

Alle Autoren

Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin

Jahr

2012

Titel

Modeling TCL via DTMC

Titel der Konferenz

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Alle Autoren

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

Jahr

2012