A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.

Jiakai Li Bixin Li Qiaoqiao Chen Min Zhu Shunhui Ji Xiaoxiang Zhai

Published in: SEKE (2012)

Keyphrases

verification method
model checking
temporal logic
image compression
data mining
probabilistic model