Integrated Tool for Testing Timed Systems.

Hacène Fouchal Sébastien Gruson Ludovic Pierre Cyril Rabat Antoine Rollet

Published in: ISSADS (2005)

Keyphrases

real time
management system
databases
genetic algorithm
data structure
computer systems
building blocks