Titre :

Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components

Auteur(s) :

Kesraoui, S. [Auteur]
Toguyeni, A. [Auteur]
BIGNON, A. [Auteur]
Oquendo, F. [Auteur]
Kesraoui, D. [Auteur]
Berruet, P. [Auteur]

Titre de la manifestation scientifique :

13th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems

Ville :

Kyoto

Pays :

Japon

Date de début de la manifestation scientifique :

2016-08-30

Date de publication :

2016

Discipline(s) HAL :

Informatique [cs]/Automatique

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Date de dépôt :

2020-05-28T12:04:47Z