Année de production

Identifiants chercheur

  • IdHAL : christophe-cruz

Réseaux sociaux

    Nombre de documents

    1

    Christophe CRUZ


    VP en charge de la politique numérique et des systèmes d'information

    Université Bourgogne - Franche-Comté 

    Responsable Pôle #3 Environnements Intelligents du laboratoire Le2i

     

    Laboratoire  Le2i, CNRS FRE 2005

    Bâtiment I3M, 64 rue de Sully, 21000 Dijon

    Bureau : 212, 2ème étage

    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

     

     


    "Sylvain Rampacek"   

    Communication dans un congrès1 document

    • Mahdi Gueffaz, Perrine Pittet, Sylvain Rampacek, Christophe Cruz, Christophe Nicolle. INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING. The 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.418-421, 2012. 〈hal-00704586〉