Progetto PROSSIMO: Strumenti per la formalizzazione e verifica di requisiti
Nessuna immagine disponibile
Data
2019-12-17
Autori
Vuotto, Simone
Titolo del periodico
ISSN
Titolo del volume
Editore
Abstract
Registrazione del seminario tenuto durante la giornata di formazione e trasferimento intitolata "Modellazione e Verifica nei Cyber-Physical Systems"