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 - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

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

Meriem Riahi
  • Fonction : Auteur
  • PersonId : 1038768
Faouzi Moussa
  • Fonction : Auteur
  • PersonId : 1040523
Mohamed Moalla
  • Fonction : Auteur
Christophe Kolski
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201

Domaines

Informatique [cs]

Aurélien Vicentini  : Connectez-vous pour contacter le contributeur

https://uphf.hal.science/hal-03411786

Soumis le : mardi 2 novembre 2021-15:20:56

Dernière modification le : vendredi 24 mars 2023-14:53:23

Fichier non déposé

Dates et versions

hal-03411786 , version 1 (02-11-2021)

Identifiants

  • HAL Id : hal-03411786 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-VALENCIENNES LAMIH
8 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More