| 2000 | ||
|---|---|---|
| 2 | EE | Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald: A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. SAFECOMP 2000: 187-197 |
| 1997 | ||
| 1 | Wolfgang Herzner, Matthias Kummer, Michael Thuswald: DVS - A System for Recording, Archiving and Retrieval of Digital Video in Security Environments. HIM 1997: 67-80 | |
| 1 | Georg Droschl | [2] |
| 2 | Wolfgang Herzner | [1] |
| 3 | Walter Kuhn | [2] |
| 4 | Matthias Kummer | [1] |
| 5 | Gerald Sonneck | [2] |