Documents dont l'auteur est "Pecheur, Charles"

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

Aller à : B | L

Nombre de documents: 2

B

Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., & Schaus, P. (juin 2015). Verification of railway interlocking systems [Communication écrite]. 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway. Lien externe

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 03:48:13 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0