Towards Specification and Analysis of Dependable Cyber-Physical Systems.

Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala

Browse the full MEDI paper archive.