| 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
