Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications.

Racem Bougacha, Rgine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed

Browse the full CRiSIS paper archive.