To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?

Lorenzo Pagliari, Mirko D'Angelo, Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani

Browse the full ECSA paper archive.