Documents dont l'auteur est "Tonetta, Stefano"

Pour citer ou exporter
Nombre de documents: 1

Auteur ou autrice

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: Thu Oct 15 16:06:58 2026 EDT.