Vérification de modèles UML fondée sur OCL

Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois. Vérification de modèles UML fondée sur OCL. In Actes du XXIème Congrès INFORSID, Nancy, France, 24-27 mai, 2003. pages 185-202, 2003.

Authors

Pierre Bazex

This author has not been identified. Look up 'Pierre Bazex' in Google

Jean-Paul Bodeveix

This author has not been identified. It may be one of the following persons: Look up 'Jean-Paul Bodeveix' in Google

Thierry Millan

This author has not been identified. Look up 'Thierry Millan' in Google

Christophe Le Camus

This author has not been identified. Look up 'Christophe Le Camus' in Google

Christian Percebois

This author has not been identified. Look up 'Christian Percebois' in Google