External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. 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]

Authors

Lorenzo Pagliari

This author has not been identified. Look up 'Lorenzo Pagliari' in Google

Mirko D'Angelo

This author has not been identified. It may be one of the following persons: Look up 'Mirko D'Angelo' in Google

Mauro Caporuscio

This author has not been identified. Look up 'Mauro Caporuscio' in Google

Raffaela Mirandola

This author has not been identified. Look up 'Raffaela Mirandola' in Google

Catia Trubiani

This author has not been identified. Look up 'Catia Trubiani' in Google
runs on