Documents publiés en "2016"
Monter d'un niveauNombre de documents: 1
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. Lien externe