![](/img/cover-not-exists.png)
[IEEE 4th IEEE Int'l Conference on Cyber, Physical and Social Computing (CPSCom) - Dalian, China (2011.10.19-2011.10.22)] 2011 International Conference on Internet of Things and 4th International Conference on Cyber, Physical and Social Computing - Modeling Predicate Abstraction of Timed Automata in PVS
Yin, Xia, Xu, Qingguo, Han, KunliangYear:
2011
Language:
english
DOI:
10.1109/ithings/cpscom.2011.21
File:
PDF, 261 KB
english, 2011