Title :

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

Author(s) :

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

Conference title :

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

City :

Kyoto

Country :

Japon

Start date of the conference :

2016-08-30

Publication date :

2016

HAL domain(s) :

Informatique [cs]/Automatique

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

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

Source :

Harvested from HAL

Submission date :

2020-05-28T12:04:47Z