Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

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

20260 citationsJournal Articlegreen Open Access

Authors

Benoît Boyer · Mitsubishi Electric (France)

Noé Canva · Université Paris-Saclay

Matteo Manighetti · Université Paris-Saclay

Claude Marché · Université Paris-Saclay

Abstract

International audience

Topics & Keywords

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

Publication Details

Published in: SPIRE - Sciences Po Institutional REpository

Field-Weighted Citation Impact: 0.00

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