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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1047039
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 12
social impact