A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems

PALANQUE, Philippe ; WINCKLER, M. ; LADRY, J. F. ; ter BEEK, M. H. ; FACONTI, G. P. ; MASSINK, M. . A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems. In: ACM Symposium on Engineering Interactive Computing Systems, 2009, Pittsburgh, USA. ACM Symposium on Engineering Interactive Computing Systems (EICS 2009). New York, USA: ACM Press, 2009. p. 211-220.

2009