Old Web
English
Sign In
Acemap
>
Paper
>
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
2012
Min Zhu
Bixin Li
Jiakai Li
Qiaoqiao Chen
Xiaoxiang Zhai
Shunhui Ji
Keywords:
Data mining
Theoretical computer science
Dynamic logic (digital electronics)
Computer science
High-level verification
Computer engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]