Conformance Testing Relations for Timed Systems.

Manuel Núñez Ismael Rodríguez

Published in: FATES (2005)

Keyphrases

real world
neural network
management system
distributed systems
intelligent systems
complex systems
real time
decision trees
mobile devices
control system
computer systems
building blocks
test set
temporal reasoning
finite state machines