Christophe Limbrée, Quentin Cappart
, Charles Pecheur, Stefano Tonetta
Communication écrite (2016)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9783319339504
Adresse URL de PolyPublie:
Nom de la conférence:
1st International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2016)
Lieu de la conférence:
Paris, France
Date(s) de la conférence:
2016-06-28 - 2016-06-30
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:46361
ORCID
Date du dépôt:
18 avr. 2023 15:05
Dernière modification:
14 oct. 2026 14:00
Citer en APA 7:
Limbrée, C., Cappart, Q., Pecheur, C., & Tonetta, S. (juin 2016). Verification of Railway Interlocking - Compositional Approach with OCRA [Communication écrite]. 1st International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2016), Paris, France. https://doi.org/10.1007/978-3-319-33951-1_10
Statistiques
Dimensions
