Documents publiés en "2016"

L

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. Lien externe