Login / Signup
Off-line test selection with test purposes for non-deterministic timed automata
Nathalie Bertrand
Thierry Jéron
Amélie Stainer
Moez Krichen
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
information systems
test cases
real time
data sets
e learning
web services
database systems
image sequences
black box