| |
| 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 | |
| 1 | Richard Bogenberger | [1] |
| 2 | Jewgenij Botaschanjan | [2] |
| 3 | Alexander Gruler | [2] |
| 4 | Alexander Harhurin | [2] |
| 5 | Leonid Kof | [2] |
| 6 | Maria Spichkova | [2] |