Model Checking Coordination of CPS Using Timed Automata.

Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du

Browse the full COMPSAC paper archive.