Testing timed systems with timed purposes.

Hacène Fouchal Eric Petitjean Sébastien Salva

Published in: RTCSA (2000)

Keyphrases

petri net
real time
finite state machines
intelligent systems
database
image processing
expert systems
management system
machine learning
artificial intelligence
optimal solution
object oriented
learning systems
systems require
test case selection