This is the preface to the Special Issue of Information and Computation related to formal verification of cyber-physical systems.
Special issue: Formal verification of cyber-physical systems
Geretti, Luca;Abate, Alessandro;Nuzzo, Pierluigi;Villa, Tiziano
2022-01-01
Abstract
This is the preface to the Special Issue of Information and Computation related to formal verification of cyber-physical systems.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
