Verifying a Real-Time Language with Constraints - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Verifying a Real-Time Language with Constraints

Anicet Bart
  • Fonction : Auteur
  • PersonId : 973253
IMT Atlantique
Theory, Algorithms and Systems for Constraints
Charlotte Truchet
Software certification with semantic analysis
CV
Eric Monfroy
  • Fonction : Auteur
  • PersonId : 947224
Theory, Algorithms and Systems for Constraints

Domaines

Informatique [cs] Intelligence artificielle [cs.AI]

Anicet BART  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01234188

Soumis le : jeudi 26 novembre 2015-13:29:03

Dernière modification le : mercredi 6 novembre 2024-11:12:03

Fichier non déposé

Dates et versions

hal-01234188 , version 1 (26-11-2015)

Identifiants

Citer

Anicet Bart, Charlotte Truchet, Eric Monfroy. Verifying a Real-Time Language with Constraints. 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.124⟩. ⟨hal-01234188⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA LINA CENTRALESUPELEC IRISA-D4 INRIA2 UR1-MATH-STIC LS2N UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM NANTES-UNIVERSITE
186 Consultations
0 Téléchargements

Altmetric

Partager

More