Quentin Cappart
, Pierre Schaus
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:
9783319454764
Adresse URL de PolyPublie:
Nom de la conférence:
35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016)
Lieu de la conférence:
Trondheim, Norway
Date(s) de la conférence:
2016-09-21 - 2016-09-23
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:46364
ORCID
Date du dépôt:
18 avr. 2023 15:05
Dernière modification:
14 oct. 2026 14:00
Citer en APA 7:
Cappart, Q., & Schaus, P. (septembre 2016). A Dedicated Algorithm for Verification of Interlocking Systems [Communication écrite]. 35th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2016), Trondheim, Norway. https://doi.org/10.1007/978-3-319-45477-1
Statistiques
Dimensions
