| |
| 2008 | ||
|---|---|---|
| 2 | EE | Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich: Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ 2008: 112-124 |
| 1 | Daniel Klünder: Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines. Modellierung 2008: 225-228 | |
| 1 | Jörg Beckers | [2] |
| 2 | Stefan Kowalewski | [2] |
| 3 | Bastian Schlich | [2] |