Studente | FANTACONI, EUGENIO |
Facoltà/Dipartimento | DIPARTIMENTO DI INGEGNERIA E SCIENZE DELL’INFORMAZIONE E MATEMATICA |
Corso di studio | INFORMATICA |
Anno Accademico | 2020 |
Titolo italiano | I sistemi cyber-fisici, loro formalizzazione e verifica di proprietà |
Titolo inglese | Cyber-Physical-Systems, their formalization and verification of properties |
Relatore | NESI, MONICA |
Appare nelle tipologie: | Laurea magistrale (Postgraduate Degree) |
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
I sistemi cyber-fisici, loro formalizzazione e verifica di proprietà.pdf Internal network | 5.93 MB | Adobe PDF | Contatta l'autore |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Il download dei file è consentito soltanto per chi si collega da rete interna o da proxy.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/20.500.12319/4588