Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle - Archive ouverte HAL
Chapitre D'ouvrage Année : 2012

Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle

Résumé

Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés par la preuve formelle

Domaines

Calcul formel [cs.SC] Réseaux et télécommunications [cs.NI]

Médiathèque Télécom SudParis & Institut Mines-Télécom Business School  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00766909

Soumis le : mercredi 19 décembre 2012-11:14:50

Dernière modification le : mardi 17 septembre 2024-15:51:44

Fichier non déposé

Dates et versions

hal-00766909 , version 1 (19-12-2012)

Identifiants

  • HAL Id : hal-00766909 , version 1

Citer

Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Salimeh Behnia, et al.. Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle. Techniques industrielles de modélisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3. ⟨hal-00766909⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS TELECOM-SUDPARIS VERIMAG TSP-DISSEM TSP-DIEGO INSTITUT-MINES-TELECOM
99 Consultations
0 Téléchargements

Partager

More