A Correct-by-Construction Checker for Validation of Railway Data

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Benoît Boyer, Noé Canva, Matteo Manighetti, Claude Marché
Cited by: 0

Fields of Study & Subjects

Railway Systems and Energy Efficiency Mobile Agent-Based Network Management Software System Performance and Reliability

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
11 January 2026
Language
EN