ANGELA PAPPAGALLO

Dottoressa di ricerca

ciclo: XXXII


co-supervisore: Prof. Enrico Tronci


Produzione scientifica

11573/1501463 - 2020 - Monte carlo based statistical model checking of cyber-physical systems: A review
Pappagallo, A.; Massini, A.; Tronci, E. - 01a Articolo in rivista
rivista: INFORMATION (Basel: Molecular Diversity Preservation International) pp. 1-24 - issn: 2078-2489 - wos: WOS:000602078000001 (4) - scopus: 2-s2.0-85098738223 (11)

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma