Author:
Butler M.,Dghaym D.,Fischer T.,Hoang T. S.,Reichl K.,Snook C.,Tummeltshammer P.
Publisher
Springer International Publishing
Reference21 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)
2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
3. Lecture Notes in Computer Science;M Butler,2005
4. The Enable-S3 Consortium. Enable-S3 European project (2016).
www.enable-s3.eu
5. Lecture Notes in Computer Science;D Dghaym,2016
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
2. Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework;Lecture Notes in Computer Science;2023
3. The First Twenty-Five Years of Industrial Use of the B-Method;Formal Methods for Industrial Critical Systems;2020
4. Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B;International Journal on Software Tools for Technology Transfer;2019-11-12
5. A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2019