Pubblicazioni

Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

2023 - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Mancini, T.; Melatti, I.; Tronci, E.

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