A Testing Tool using the State Characterization Approach for Timed Systems

sébastien Salva, Patrice Laurencot
September, 2003
Cite
Type
1
Publication
WRTES, satellite workshop of FME symposium