Production year

Researcher identifiers

  • IdHAL : christophe-cruz

Social networks

    Number of documents

    1

    Christophe CRUZ


    Laboratoire d'Informatique de Bourgogne - LIB

    Responsable transfert de technologie

     

    Laboratoire  LIB, EA7534

    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"   

    Conference papers1 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〉