|
Search the dblp DataBase
Gerald Sonneck:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2000, pp:187-197 [Conf]
- Gerald Sonneck, Erwin Schoitsch
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1999, pp:39-45 [Conf]
- Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini
A Holistic View on the Dependability of Software-Intensive Systems. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1998, pp:369-379 [Conf]
- Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2001, pp:166-175 [Conf]
- Armin Selhofer, Thomas Gruber, Michael Putz, Erwin Schoitsch, Gerald Sonneck
RAMSS Analysis for a Co-operative Integrated Traffic Management System. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2007, pp:87-92 [Conf]
Search in 0.001secs, Finished in 0.001secs
|