Author:
Tueno Fotso Steve Jeffrey,Frappier Marc,Laleau Régine,Mammar Amel
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference53 articles.
1. Abrial, J.: The B-book–Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.: Modeling in Event-B–System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Abrial, J.: The ABZ-2018 case study with Event-B. In: Butler et al. [11], pp. 322–337
4. ANR-14-CE28-0009: Formose ANR project (2017)
5. Arcaini, P., Jezek, P., Kofron, J.: Modelling the hybrid ERTMS/ETCS level 3 case study in Spin. In: Butler et al. [11], pp. 277–291
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献