Communication Dans Un Congrès Année : 2003

Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN

Fichier principal
Vignette du fichier
2003-isps2003-yabakn.pdf (256.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03759386 , version 1 (24-08-2022)

Licence

Identifiants

  • HAL Id : hal-03759386 , version 1

Citer

Yamine Ait-Ameur, Mickael Baron, Nadjet Kamel. Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN. 6th International Symposium on Programming and Systems ISPS 2003 (ISPS 2003), May 2003, Alger, Algérie. pp.57-66. ⟨hal-03759386⟩
51 Consultations
129 Téléchargements

Partager

  • More