Formal Method in the Railway Sector the First Complex Application: SAET‐METEOR
Jean‐Louis Boulanger · Formal Methods · 2013
This chapter contains sections titled: Introduction About SAET-METEOR The supplier realization process Process of verification and validation set up by RATP Assessment of the global approach Conclusion Appendix Bibliography