论文信息 - The ABZ-2018 case study with Event-B - 字舞流文

The ABZ-2018 case study with Event-B

This paper presents a solution to the ABZ-2018 case study.

Jean-Raymond Abrial

[1] Anne Elisabeth Haxthausen,et al. Formal Development and Verification of a Distributed Railway Control System , 1999, World Congress on Formal Methods.

[2] Thai Son Hoang,et al. Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.

[3] Thai Son Hoang,et al. The Hybrid ERTMS/ETCS Level 3 Case Study , 2018, ABZ.

[4] Ruth C. Carter,et al. Principles , 2003, Law’s Reality.

[5] Michael J. Butler. A System-Based Approach to the Formal Development of Embedded Controllers for a Railway , 2002, Des. Autom. Embed. Syst..

[6] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.