%0 Conference Paper %1 conf/ecsa/PagliariDCMT19 %A Pagliari, Lorenzo %A D'Angelo, Mirko %A Caporuscio, Mauro %A Mirandola, Raffaela %A Trubiani, Catia %B ECSA (Companion) %D 2019 %E Duchien, Laurence %E Koziolek, Anne %E Mirandola, Raffaela %E Martínez, Elena Maria Navarro %E Quinton, Clément %E Scandariato, Riccardo %E Scandurra, Patrizia %E Trubiani, Catia %E Weyns, Danny %I ACM %K dblp %P 139-144 %T To what extent formal methods are applicable for performance analysis of smart cyber-physical systems? %U http://dblp.uni-trier.de/db/conf/ecsa/ecsa2019c.html#PagliariDCMT19 %@ 978-1-4503-7142-1

@inproceedings{conf/ecsa/PagliariDCMT19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Pagliari, Lorenzo and D'Angelo, Mirko and Caporuscio, Mauro and Mirandola, Raffaela and Trubiani, Catia}, biburl = {https://www.bibsonomy.org/bibtex/2a62e6bf2300648d47fafcdd54aa7564a/dblp}, booktitle = {ECSA (Companion)}, crossref = {conf/ecsa/2019c}, editor = {Duchien, Laurence and Koziolek, Anne and Mirandola, Raffaela and Martínez, Elena Maria Navarro and Quinton, Clément and Scandariato, Riccardo and Scandurra, Patrizia and Trubiani, Catia and Weyns, Danny}, ee = {https://doi.org/10.1145/3344948.3344990}, interhash = {260f0312558208f53b477eabee2eef5f}, intrahash = {a62e6bf2300648d47fafcdd54aa7564a}, isbn = {978-1-4503-7142-1}, keywords = {dblp}, pages = {139-144}, publisher = {ACM}, timestamp = {2024-04-09T21:56:20.000+0200}, title = {To what extent formal methods are applicable for performance analysis of smart cyber-physical systems?}, url = {http://dblp.uni-trier.de/db/conf/ecsa/ecsa2019c.html#PagliariDCMT19}, year = 2019 }