Co-simulation and verification of cyber-physical systems using logic models

PALMIERI, MAURIZIO
2020

2020
Inglese
Co-simulation, Formal verification, Theorem Prover, Cyber physical Systems
104
File in questo prodotto:
File Dimensione Formato  
Thesis_PhD (2).pdf

Open Access dal 25/07/2021

Dimensione 6.91 MB
Formato Adobe PDF
6.91 MB Adobe PDF Visualizza/Apri

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.14242/192139
Il codice NBN di questa tesi è URN:NBN:IT:UNIFI-192139