Verifying a Real-Time Language with Constraints

Anicet Bart 1, 2 Charlotte Truchet 3 Eric Monfroy 2
2 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
3 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01234188
Contributor : Anicet Bart <>
Submitted on : Thursday, November 26, 2015 - 1:29:03 PM
Last modification on : Friday, January 11, 2019 - 1:53:27 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

299