Modeling and Formal Analysis of Real.

Chen Shu Wu Guo Qing

Published in: ISCSCT (1) (2008)

Keyphrases

formal analysis
formal methods
real life
agent model
ban logic
real time
neural network
software development
software systems
model checking
modeling method