A Dependability-Explicit Model for the Development of Computing Systems

Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart. A Dependability-Explicit Model for the Development of Computing Systems. In Floor Koornneef, Meine van der Meulen, editors, Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Volume 1943 of Lecture Notes in Computer Science, pages 107-116, Springer, 2000. [doi]

Abstract

Abstract is missing.