Accéder directement au contenu

Christophe Cruz

1
Documents
Identifiants chercheurs

Présentation

#### Laboratoire Interdisciplinaire Carnot de Bourgogne **Laboratoire ICB, UMR CNRS 6303** Bâtiment ESIREM, 9, rue Alain Savary 21078, Dijon CEDEX Tél. : +33 (0)3.80.39.38.28 **Département Informatique, IUT Dijon/Auxerre** Boulevard Docteur Petitjean, BP 17867, 21078 DIJON CEDEX Bureau : n°5 Tél.: +33 (0)3.80.39.64.54
#### Laboratoire Interdisciplinaire Carnot de Bourgogne **Laboratoire ICB, UMR CNRS 6303** Bâtiment ESIREM, 9, rue Alain Savary 21078, Dijon CEDEX Tél. : +33 (0)3.80.39.38.28 **Département Informatique, IUT Dijon/Auxerre** Boulevard Docteur Petitjean, BP 17867, 21078 DIJON CEDEX Bureau : n°5 Tél.: +33 (0)3.80.39.64.54

Publications

sylvain-rampacek
Image document

INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING

Mahdi Gueffaz , Perrine Pittet , Sylvain Rampacek , Christophe Cruz , Christophe Nicolle
The 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.418-421
Communication dans un congrès hal-00704586v1