Patrice Gagnon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 Farid Mokhati, Patrice Gagnon, Mourad Badri: Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC 2007: 356-362

2006

1 Farid Mokhati, Mourad Badri, Patrice Gagnon: Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577

	2007
2		Farid Mokhati, Patrice Gagnon, Mourad Badri: Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. QSIC 2007: 356-362
	2006
1		Farid Mokhati, Mourad Badri, Patrice Gagnon: Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach. SEKE 2006: 572-577

Coauthor Index

1 Mourad Badri [1] [2]

2 Farid Mokhati [1] [2]