Safety, Liveness, and Information Flow: Dependability Revisited

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Benenson Z, Freiling F, Holz T, Kesdogan D, Draque Penso L
Verlag: GI
Verlagsort: Frankfurt am Main
Jahr der Veröffentlichung: 2006
Titel der Reihe: LNI 81
Tagungsband: ARCS Workshops (19th International Conference on Architecture of Computing Systems)
Seitenbereich: 56-65


FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Benenson, Zinaida Dr.
Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen)
Freiling, Felix Prof. Dr.-Ing.
Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen)


Einrichtungen weiterer Autorinnen und Autoren

Ruhr-Universität Bochum (RUB)


Zitierweisen

APA:
Benenson, Z., Freiling, F., Holz, T., Kesdogan, D., & Draque Penso, L. (2006). Safety, Liveness, and Information Flow: Dependability Revisited. In ARCS Workshops (19th International Conference on Architecture of Computing Systems) (pp. 56-65). Frankfurt am Main: GI.

MLA:
Benenson, Zinaida, et al. "Safety, Liveness, and Information Flow: Dependability Revisited." Proceedings of the ARCS Workshops (19th International Conference on Architecture of Computing Systems) Frankfurt am Main: GI, 2006. 56-65.

BibTeX: 

Zuletzt aktualisiert 2018-28-12 um 13:53