Using Constraint Logic Programming for the Symbolic Animation of Formal Models - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Using Constraint Logic Programming for the Symbolic Animation of Formal Models

Frédéric Dadeau  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00329989

Soumis le : lundi 13 octobre 2008-17:28:50

Dernière modification le : lundi 11 septembre 2023-17:41:18

Fichier non déposé

Dates et versions

inria-00329989 , version 1 (13-10-2008)

Identifiants

  • HAL Id : inria-00329989 , version 1

Citer

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. Using Constraint Logic Programming for the Symbolic Animation of Formal Models. Proceedings of the International Workshop on Constraints in Formal Verification - CFV'05, Jul 2005, Tallinn, Estonia. pp.32-46. ⟨inria-00329989⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM
99 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More