Documents dont l'auteur est "Tonetta, Stefano"

Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement

Aller à : L

Nombre de documents: 1

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

Liste produite: Fri Apr 26 04:35:35 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0