Monter d'un niveau |
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