Formal methods for railway control systems Alessandro FantechiFrancesco FlamminiStefania Gnesi Introduction 17 August 2014 Pages: 643 - 646
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions Alessio FerrariGiorgio O. SpagnoloSimone Menabeni FMRCS 04 January 2014 Pages: 647 - 667
Towards Model-Driven V&V assessment of railway control systems Stefano MarroneFrancesco FlamminiValeria Vittorini FMRCS 25 May 2014 Pages: 669 - 683
Techniques for modelling and verifying railway interlockings Phillip JamesFaron MollerHelen Treharne FMRCS 15 March 2014 Pages: 685 - 711
Automated generation of formal safety conditions from railway interlocking tables Anne E. Haxthausen FMRCS 22 December 2013 Pages: 713 - 726
Survey on test data generation tools Stefan J. GallerBernhard K. Aichernig Regular Paper 11 April 2013 Pages: 727 - 751
Model checking evaluation of airplane landing trajectories Stefano Quer Regular Paper 11 April 2013 Pages: 753 - 773