Compiling Real-Time Scenarios into a Timed Automaton

TitleCompiling Real-Time Scenarios into a Timed Automaton
Publication TypeConference Paper
Year of Publication2001
AuthorsSalah, A., R. Dssouli, and G. Lapalme
Conference NameFORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems
Date Publishedaug
Place PublishedCheju Island, Korea