| |
| 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 |
| 2005 | ||
| 1 | EE | Jewgenij Botaschanjan, Leonid Kof, C. Kühnel, Maria Spichkova: Towards verified automotive software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
| 1 | Jewgenij Botaschanjan | [1] [2] |
| 2 | Alexander Gruler | [2] |
| 3 | Alexander Harhurin | [2] |
| 4 | Leonid Kof | [1] [2] |
| 5 | C. Kühnel | [1] |
| 6 | David Trachtenherz | [2] |