“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.