Towards a Rigorous Modeling Formalism for Systems of Systems

Titel der Konferenz

Third IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2012

Alle Autoren

Gezgin, Tayfun; Etzien Christoph; Henkler, Stefan, Rettberg, Achim

Jahr

2012

Using Guided Simulation to Assess Driver Assistance Systems

Titel der Konferenz

FORMS/FORMAT 2010

Jahr

2011

Titel

Predicting the Effect of Driver Assistance via Simulation

Titel der Konferenz

Human Modelling in Assisted Transportation 2010 (HMAT)

Jahr

2011

Titel

A Refinement Checking Technique for Contract-Based Architecture Designs

Titel der Konferenz

Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems

Alle Autoren

Gezgin, Tayfun; Weber, Raphael; Girod, Maurice

Jahr

2011

Titel

Architecture Modeling

Titel der Konferenz

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard B¨ode, Matthias B¨uker, Werner Damm, G¨unter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Jahr

2011