On Conformance Testing for Timed Systems.

Julien Schmaltz Jan Tretmans

Published in: FORMATS (2008)

Keyphrases

expert systems
management system
complex systems
information systems
learning systems
knowledge based systems
systems require
finite state machines
computing systems
petri net
test cases
building blocks
intelligent systems
distributed systems
software engineering
mobile devices
decision making