Publisher
Springer Nature Switzerland
Reference13 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010). https://doi.org/10.1017/CBO9781139195881
2. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010). https://doi.org/10.1007/S10009-010-0145-Y
3. Eurocae: ED-202A - airworthiness security process specification. https://eshop.eurocae.net/eurocae-documents-and-reports/ed-202a/ (2014)
4. Eurocae: ED-203A - airworthiness security methods and considerations (2018). https://eshop.eurocae.net/eurocae-documents-and-reports/ed-203a/
5. Lecture Notes in Computer Science;TS Hoang,2010