| 2007 |
|---|
| 5 | EE | Armin Selhofer,
Thomas Gruber,
Michael Putz,
Erwin Schoitsch,
Gerald Sonneck:
RAMSS Analysis for a Co-operative Integrated Traffic Management System.
SAFECOMP 2007: 87-92 |
| 2001 |
|---|
| 4 | EE | Günther Zoffmann,
Manfred Gingerl,
Christian Reumann,
Gerald Sonneck:
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B.
SAFECOMP 2001: 166-175 |
| 2000 |
|---|
| 3 | 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 |
| 1999 |
|---|
| 2 | EE | Gerald Sonneck,
Erwin Schoitsch:
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project.
SAFECOMP 1999: 39-45 |
| 1998 |
|---|
| 1 | EE | Gerald Sonneck,
Erwin Schoitsch,
Lorenzo Strigini:
A Holistic View on the Dependability of Software-Intensive Systems.
SAFECOMP 1998: 369-379 |
