RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Formal Methods in Designing Critical Cyber-Physical Systems

Askarpour M.;Ghezzi C.;Mandrioli D.;Rossi M.;Tsigkanos C.
2019-01-01
2019
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
978-3-030-30984-8
978-3-030-30985-5
Cyber-Physical Systems (CPS); Formal model; Formal verification; Model-based design
02.1 Contributo in Volume
File in questo prodotto:
File Dimensione Formato  
main.pdf

Open Access dal 01/05/2021

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 1.02 MB
Formato Adobe PDF
Visualizza/Apri
1.02 MB Adobe PDF Visualizza/Apri
Askarpour2019_Chapter_FormalMethodsInDesigningCritic.pdf

Accesso riservato

: Publisher’s version
Dimensione 1.06 MB
Formato Adobe PDF
  Visualizza/Apri
1.06 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/1120524
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact