Documents publiés en "2016"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Nombre de documents: 1

Communication écrite

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

Liste produite: Fri Dec 20 01:34:52 2024 EST.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0