Approche Formelle pour la Spécification et la Vérification des Modèles UML en Utilisant la Notation Z.
fre
Loading...
Authors
Files
Collections
Journal Title
Journal ISSN
Volume Title
Publisher
Faculté des Sciences de Rabat
Department
Supervisor
Date
Abstract
Description
Keywords
Méthodes formelles, UML, Z, Vérification, Inconsistances, Modélisation multi vues.