A Refinement Approach to Analyse Critical Cyber-Physical Systems.

Davide Basile, Felicita Di Giandomenico, Stefania Gnesi

Browse the full SEFM paper archive.