Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.

Nawal Addouche, Christian Antoine, Jacky Montmain

Browse the full SAFECOMP paper archive.