Formal Modeling and Verification for MVB.

Mo Xia Kueiming Lo Shuangjia Shao Mian Sun

Published in: J. Appl. Math. (2013)

Keyphrases

formal methods
real time
decision making
image processing
formal model
formal specification
modeling method
formal verification
real world
data mining
machine learning
genetic algorithm
decision trees
formal analysis