<  Retour au portail Polytechnique Montréal

Verification of railway interlocking systems

Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur et Pierre Schaus

Communication écrite (2015)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Un lien externe est disponible pour ce document
URL de PolyPublie: https://publications.polymtl.ca/46871/
Nom de la conférence: 4th International Workshop on Engineering Safety and Security Systems
Lieu de la conférence: Oslo, Norway
Date(s) de la conférence: 2015-06-22
DOI: 10.4204/eptcs.184.2
URL officielle: https://doi.org/doi.org/10.4204/EPTCS.184.2
Date du dépôt: 18 avr. 2023 15:06
Dernière modification: 05 avr. 2024 11:47
Citer en APA 7: Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., & Schaus, P. (juin 2015). Verification of railway interlocking systems [Communication écrite]. 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway. https://doi.org/doi.org/10.4204/EPTCS.184.2

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document