“Introduction on Cyber-Physical Systems”

Slide della lezione tenuta dalla Dott.ssa Francesca Palumbo nel corso della Cyber-Physical System Summer School 2018.

 

 

 


 

“Self-Adaptivity in heterogeneous CPS platforms”

Slide della lezione tenuta dalla Dott.ssa Francesca Palumbo nel corso della Cyber-Physical System Summer School 2018.

 

 


“Requirements Verification in CPSs”

 

Slide del tutorial tenuto dal Prof. Luca Pulina nel corso della Cyber-Physical System Summer School 2018.

 

 

 


 

Videotutorial sull’utilizzo di ReqV

ReqV è uno strumento software per la verifica di consistenza di requisiti sviluppato nell’ambito del progetto H2020 CERBERO.

 

 


“CPS Requirements collection and formalization”

 

Slide del tutorial tenuto dal Prof. Luca Pulina nel corso della conference HiPEAC19.