In this paper we provide a concise survey of our work devoted to applying formal methods to check the safety of adaptive cyber-physical systems.
More adaptive does not imply less safe (with formal verification)
Tacchella, Armando
2017-01-01
Abstract
In this paper we provide a concise survey of our work devoted to applying formal methods to check the safety of adaptive cyber-physical systems.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
HVC_2017.pdf
accesso chiuso
Tipologia:
Documento in Pre-print
Dimensione
96.01 kB
Formato
Adobe PDF
|
96.01 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
