Safety, Liveness, and Information Flow: Dependability Revisited

Conference contribution


Publication Details

Author(s): Benenson Z, Freiling F, Holz T, Kesdogan D, Draque Penso L
Publisher: GI
Publishing place: Frankfurt am Main
Publication year: 2006
Title of series: LNI 81
Conference Proceedings Title: ARCS Workshops (19th International Conference on Architecture of Computing Systems)
Pages range: 56-65


FAU Authors / FAU Editors

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


External institutions
Ruhr-Universität Bochum (RUB)


How to cite

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: 

Last updated on 2018-28-12 at 13:53