Documents dont l'auteur est "Tonetta, Stefano"

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | 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: Thu Oct 15 16:06:58 2026 EDT.