CSP dynamiques pour la génération de tests de systèmes réactifs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

CSP dynamiques pour la génération de tests de systèmes réactifs

Christophe Junke
  • Fonction : Auteur
Laboratoire Sûreté des Logiciels
Benjamin Blanc
  • Fonction : Auteur
Laboratoire Sûreté des Logiciels

Résumé

Non disponible

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
paper_23.pdf (143.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yves Deville  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00387848

Soumis le : lundi 25 mai 2009-23:53:21

Dernière modification le : mercredi 3 avril 2024-11:14:11

Archivage à long terme le : jeudi 10 juin 2010-23:50:28

Télécharger pour visualiser

Dates et versions

hal-00387848 , version 1 (25-05-2009)

Identifiants

  • HAL Id : hal-00387848 , version 1

Citer

Christophe Junke, Benjamin Blanc. CSP dynamiques pour la génération de tests de systèmes réactifs. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.305-315. ⟨hal-00387848⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA JFPC09 DRT LIST GS-SPORT-HUMAN-MOVEMENT
45 Consultations
195 Téléchargements

Partager

Gmail Facebook X LinkedIn More