Lorenzo Pagliari, Mirko D'Angelo, Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani. To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?. In Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martínez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns, editors, Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2),. pages 139-144, ACM, 2019. [doi]
Abstract is missing.