Anis Sahbani;Jean-Claude Pascal
-;-
The metrô rio ATP case study
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems