A Clock Based Framework for Specifying and Modeling the Time Constraints of Cyber Physical Systems.

Bingqing Xu, Lichen Zhang

Browse the full DASC paper archive.