Publisher
Springer Nature Switzerland
Reference28 articles.
1. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11, 256–290 (2002)
2. Peterson, J.L.: Petri nets. ACM Comput. Surv. (CSUR) 9, 223–252 (1977)
3. Abrial, J.-R.: The B-Book, vol. 146. Cambridge University Press, Cambridge (1996)
4. Boulanger, J.-L. (ed.) Formal Methods Applied to Industrial Complex Systems. Wiley-ISTE (2014)
5. CENELEC. Railway applications – The specification and demonstration of reliability, availability, maintainability and safety (RAMS), Part 1: Generic RAMS Process, EN 50126-1:2017, European Committee for Electrotechnical Standardization