Multiformalism to Support Software Rejuvenation Modeling

Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono. Multiformalism to Support Software Rejuvenation Modeling. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 271-276, IEEE, 2012. [doi]

Abstract

Abstract is missing.