Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
Marcello M. Bersani;
2018-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
jsep.pdf
Open Access dal 01/09/2018
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
1.05 MB
Formato
Adobe PDF
|
1.05 MB | Adobe PDF | Visualizza/Apri |
smr.1880.pdf
Accesso riservato
:
Publisher’s version
Dimensione
1.76 MB
Formato
Adobe PDF
|
1.76 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.