Konferenzbeitrag
Safety, liveness, and information flow: dependability revisited
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2006
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
ARCS'06, 19th International Conference on Architecture of Computing Systems
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.