Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.

Xiaohong Chen, Ling Yin, Yijun Yu, Zhi Jin

Browse the full ICFEM paper archive.