Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00384201
Contributor : Nicolas Stouls <>
Submitted on : Thursday, May 14, 2009 - 3:59:16 PM
Last modification on : Wednesday, June 30, 2021 - 10:14:01 AM

Identifiers

  • HAL Id : inria-00384201, version 1

Collections

IMAG | CNRS | UGA

Citation

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⟩

Share

Metrics

Record views

125