Risultati ricerca pubblicazioni

Monte carlo based statistical model checking of cyber-physical systems: A review

pubblicato su: INFORMATION - 2020
Pappagallo A., Massini A., Tronci E.

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