Safety, liveness, and information flow: dependability revisited

Konferenzbeitrag

Safety, liveness, and information flow: dependability revisited

Dokumententyp

Text/Conference Paper

Dateien

GI-Proceedings-81-6.pdf (4.45 MB)

Datum

2006

Autor:innen

Beneson, Zinaida

Freiling, Felix C.

Kesdogan, Dogan

Draque Penso, Lucia

Quelle

ARCS'06, 19th International Conference on Architecture of Computing Systems

Regular Research Papers

Verlag

Gesellschaft für Informatik e.V.

Beneson, Zinaida; Freiling, Felix C.; Holz, Thorsten; Kesdogan, Dogan; Draque Penso, Lucia (2006): Safety, liveness, and information flow: dependability revisited. ARCS'06, 19th International Conference on Architecture of Computing Systems. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-175-7. pp. 56-65. Regular Research Papers. Frankfurt am Main. March 16, 2006

Sammlungen

P081 - ARCS 2006 - 19th International Conference on Architecture of Computing Systems

Komplettanzeige