UNITesi

Industria 4.0: Studio e analisi di tecniche di verifica formale per sistemi IoT

SASSO, GIUSEPPE
2016/2017
2016
Industry 4.0:study and analysis of formal verification techniques for IoT based systems
Lauree triennali
File in questo prodotto:
Fulltext non presente su UNITESI – Verifica la disponibilità della tesi in formato cartaceo interrogando il Catalogo di Ateneo

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14253/79432