Explicitation du contrôle de développement B événementiel - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Explicitation du contrôle de développement B événementiel

Fichier non déposé

Dates et versions

inria-00384201 , version 1 (14-05-2009)

Identifiants

  • HAL Id : inria-00384201 , version 1

Citer

Marie-Laure Potet, Nicolas Stouls. Explicitation du contrôle de développement B événementiel. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), Jun 2004, besançon, France. pp.13--27. ⟨inria-00384201⟩

Collections

UGA IMAG CNRS
96 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More