Verification of COMDES-II Systems Using UPPAAL with Model Transformation.

Xu Ke Paul Pettersson Krzysztof Sierszecki Christo Angelov

Published in: RTCSA (2008)

Keyphrases

experimental data
mathematical model
management system
real time
probabilistic model
statistical model
artificial intelligence
decision making
bayesian networks
objective function
expert systems
theoretical analysis
computational model
theoretical framework
model checking
model checker