%0 Conference Paper %1 conf/aiia/Pappagallo21a %A Pappagallo, Angela %B AI*IA %D 2021 %E Bandini, Stefania %E Gasparini, Francesca %E Mascardi, Viviana %E Palmonari, Matteo %E Vizzari, Giuseppe %I Springer %K dblp %P 655-670 %T Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2021.html#Pappagallo21a %V 13196 %@ 978-3-031-08421-8

@inproceedings{conf/aiia/Pappagallo21a, added-at = {2022-07-21T00:00:00.000+0200}, author = {Pappagallo, Angela}, biburl = {https://www.bibsonomy.org/bibtex/288433511d90c7f7e86c97f9934e2bf52/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2021}, editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe}, ee = {https://doi.org/10.1007/978-3-031-08421-8_45}, interhash = {9b70b26af89ad3969cc0370e3f31764b}, intrahash = {88433511d90c7f7e86c97f9934e2bf52}, isbn = {978-3-031-08421-8}, keywords = {dblp}, pages = {655-670}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:17:11.000+0200}, title = {Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2021.html#Pappagallo21a}, volume = 13196, year = 2021 }