A Uniform approach for the Specification and Design of Interactive Systems: the B method - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

A Uniform approach for the Specification and Design of Interactive Systems: the B method

Fichier principal
Vignette du fichier
1998-dsvis-yaa_pg_fj.pdf (78.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03632527 , version 1 (06-04-2022)

Identifiants

  • HAL Id : hal-03632527 , version 1

Citer

Yamine Aït-Ameur, Patrick Girard, Francis Jambon. A Uniform approach for the Specification and Design of Interactive Systems: the B method. Eurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 1998), Jun 1998, Abingdon, Unknown Region. pp.333-352. ⟨hal-03632527⟩
11 Consultations
22 Téléchargements

Partager

Gmail Facebook X LinkedIn More