A Theory of Testing for Timed Automata (Abstract).

Frits W. Vaandrager

Published in: TAPSOFT (1997)

Keyphrases

timed automata
model checking
reachability analysis
data sets
higher level
theoretical basis
low level
high level
graphical models
expert systems
test set
computational model
theorem prover
artificial intelligence
general theory
machine learning
neural network