Using the B formal approach for incremental specification design of interactive systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Using the B formal approach for incremental specification design of interactive systems

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
1998-ehci-yaa_pg_fj.pdf (77.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Emmanuelle Choiseau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03632526

Soumis le : mercredi 6 avril 2022-13:18:46

Dernière modification le : jeudi 4 avril 2024-11:44:55

Archivage à long terme le : jeudi 7 juillet 2022-18:53:50

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03632526 , version 1

Citer

Yamine Aït-Ameur, Patrick Girard, Francis Jambon. Using the B formal approach for incremental specification design of interactive systems. Engineering for Human-Computer Interaction (EHCI 1998), Sep 1998, Heraklion, Greece. pp.91-108. ⟨hal-03632526⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-POITIERS POLYTECH-GRENOBLE LIAS ISAE-ENSMA
9 Consultations
20 Téléchargements

Partager

Gmail Facebook X LinkedIn More