Skip to Main content Skip to Navigation
Conference papers

Approche de spécification formelle des interfaces homme-machine basée sur une analyse du système homme-machine, application au cas du contrôle des procédés industriels

Document type :
Conference papers
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03411786
Contributor : Aurélien Vicentini Connect in order to contact the contributor
Submitted on : Tuesday, November 2, 2021 - 3:20:56 PM
Last modification on : Wednesday, November 3, 2021 - 3:52:59 AM

Identifiers

  • HAL Id : hal-03411786, version 1

Collections

Citation

Meriem Riahi, Faouzi Moussa, Mohamed Moalla, Christophe Kolski. Approche de spécification formelle des interfaces homme-machine basée sur une analyse du système homme-machine, application au cas du contrôle des procédés industriels. Sixième colloque Maghrébin sur les Modèles Numériques de l'Ingénieur, Nov 1998, Tunis, Tunisie. ⟨hal-03411786⟩

Share

Metrics

Record views

6