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 |
