Login / Signup
构件系统建模及其动态演化一致性验证方法 (Dynamic Evolution Consistency Verification Method for Component System Modeling).
Ming Zheng
Tong Li
Ying Lin
Xiaoxuan Zhou
Xiang Li
Li Ming
Published in:
计算机科学 (2017)
Keyphrases
</>
real time
verification method
model checking
temporal logic
dynamic environments
multiscale
expert systems
schema evolution
database
data mining
information systems
decision trees
database systems
modeling framework
dynamically changing
consistency checking