Vérification formelle de diagrammes UML : une approche basée sur la logique de réécriture
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | fr |
| Published: |
Université du Québec à Trois-Rivières
2007
|
| Online Access: | http://depot-e.uqtr.ca/2017/1/030004667.pdf |