Oussama Jebbar, Ferhat Khendek, Maria Toeroe. Upgrade of Highly Available Systems: Formal Methods at the Rescue. In Chengcui Zhang, Balaji Palanisamy, Latifur Khan, Sahra Sedigh Sarvestani, editors, 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017. pages 270-274, IEEE Computer Society, 2017. [doi]
Abstract is missing.