Compiling Real-Time Scenarios into a Timed Automaton

TitreCompiling Real-Time Scenarios into a Timed Automaton
Type de publicationConference Paper
Année de publication2001
AuteursSalah, A., R. Dssouli, and G. Lapalme
Nom de la conférenceFORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems
Date Publishedaug
Endroit d'éditionCheju Island, Korea