Formal Testing of Timed and Probabilistic Systems.

Published in: ICTSS (2011)

Keyphrases

real time
management system
probabilistic model
neural network
data mining
expert systems
data driven
learning algorithm
information systems
building blocks
complex systems
information theoretic
computing systems
probabilistic reasoning
formal methods