Titre :

Taking advantage of some complementary modeling methods to meet critical system requirement specification

Auteur(s) :

Defossez, François [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Laboratoire d'Automatique, Génie Informatique et Signal [LAGIS]
Bon, Philippe [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]

Titre de la manifestation scientifique :

Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems

Ville :

Tolède

Pays :

Espagne

Date de début de la manifestation scientifique :

2008-09

Titre de l’ouvrage :

COMPRAIL 2008

Date de publication :

2008

Discipline(s) HAL :

Sciences de l'ingénieur [physics]/Automatique / Robotique

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