| 2008 |
|---|
| 3 | EE | Jan Jürjens,
Daniel Reiß,
David Trachtenherz:
Model-Based Quality Assurance of Automotive Software.
MoDELS 2008: 858-873 |
| 2006 |
|---|
| 2 | EE | Jewgenij Botaschanjan,
Alexander Gruler,
Alexander Harhurin,
Leonid Kof,
Maria Spichkova,
David Trachtenherz:
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM 2006: 163-178 |
| 1 | | Richard Bogenberger,
David Trachtenherz:
Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs.
Modellierung 2006: 35-49 |
