FM-RAIL-BOK WORKSHOP 2013

TOWARDS A FORMAL METHODS BODY OF KNOWLEDGE FOR RAILWAY CONTROL AND SAFETY SYSTEMS

International Workshop affiliated to the SEFM’2013 11th International Conference on Software Engineering and Formal Methods, Madrid (E), Monday 23 September 2013.

Latest update 15 November 2013: The workshop’s proceedings are now released. (Post-proceedings, to be published in Springer-Verlag’s LNCS, are in preparation…)