An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

Karsten Loer, Michael D. Harrison. An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. Automated Software Engineering, 13(4):469-496, 2006. [doi]

Abstract

Abstract is missing.