| id |
ndltd-uqtr.ca-oai-depot-e.uqtr.ca-2017
|
| record_format |
oai_dc
|
| spelling |
ndltd-uqtr.ca-oai-depot-e.uqtr.ca-20172019-09-07T16:37:30Z http://depot-e.uqtr.ca/2017/ Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture Gagnon, Patrice Université du Québec à Trois-Rivières 2007 Thèse NonPeerReviewed application/pdf fr http://depot-e.uqtr.ca/2017/1/030004667.pdf Gagnon, Patrice (2007). Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture. Mémoire. Trois-Rivières, Université du Québec à Trois-Rivières, 157 p.
|
| collection |
NDLTD
|
| language |
fr
|
| format |
Others
|
| sources |
NDLTD
|
| author |
Gagnon, Patrice
|
| spellingShingle |
Gagnon, Patrice
Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
|
| author_facet |
Gagnon, Patrice
|
| author_sort |
Gagnon, Patrice
|
| title |
Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
|
| title_short |
Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
|
| title_full |
Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
|
| title_fullStr |
Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
|
| title_full_unstemmed |
Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
|
| title_sort |
vérification formelle de diagrammes uml : une approche basée sur la logique de réécriture
|
| publisher |
Université du Québec à Trois-Rivières
|
| publishDate |
2007
|
| url |
http://depot-e.uqtr.ca/2017/1/030004667.pdf
|
| work_keys_str_mv |
AT gagnonpatrice verificationformelledediagrammesumluneapprochebaseesurlalogiquedereecriture
|
| _version_ |
1719246895504687104
|
