Patrice Gagnon

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Patrice Gagnon, Farid Mokhati, Mourad Badri
Applying Model Checking to Concurrent UML Models. J. Object Technol. 7 (1) (2008)
Farid Mokhati, Patrice Gagnon, Mourad Badri
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC (2007)
Farid Mokhati, Mourad Badri, Patrice Gagnon
Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE (2006)