Formal Correctness of a Passive Testing Approach for Timed Systems.

César Andrés Mercedes G. Merayo Manuel Núñez

Published in: ICST Workshops (2009)

Keyphrases

database
databases
building blocks
complex systems
petri net
website
case study
knowledge based systems
learning systems
real time
digital libraries
management system
computer systems
retrieval systems
computing systems
real time systems