Modeling and Real-Time Verification for CPS based on Time Automata.

Mingfu Tuo, Xiaoqiang Zhao, Bo Shen, Wenliang Wu

Browse the full QRS paper archive.