Sign in
Formal Testing of Timed and Probabilistic Systems.
Manuel Núñez
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