Compiling Real-Time Scenarios into a Timed Automaton
| Titre | Compiling Real-Time Scenarios into a Timed Automaton | 
| Type de publication | Conference Paper | 
| Année de publication | 2001 | 
| Auteurs | Salah, A., R. Dssouli, and G. Lapalme | 
| Nom de la conférence | FORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems | 
| Date Published | aug | 
| Endroit d'édition | Cheju Island, Korea | 
 
        
