Pubblicazioni

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

2020 - INFORMATION
Pappagallo, A.; Massini, A.; Tronci, E.

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