Verification of the Consistency of Time-Aware Cyber-Physical Processes.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Browse the full ICSOC paper archive.