Utilisation de techniques formelles dans la modélisation d'Interfaces Homme-Machine. Une expérience comparative entre B et Promela/SPIN
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03759386
Soumis le : mercredi 24 août 2022-08:46:07
Dernière modification le : jeudi 4 avril 2024-11:45:24
Archivage à long terme le : vendredi 25 novembre 2022-18:56:38