C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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