Author:
Benaissa Nazim,Bonvoisin David,Feliachi Abderrahmane,Ordioni Julien
Publisher
Springer International Publishing
Reference13 articles.
1. Atelier, B.: version 3.2, manuel de référence du langage B. GEC Alsthom Transport and Steria Méditerrannée and SNCF and INRETS and RATP (1997)
2. DO-178C, software considerations in airborne systems and equipment certification. Special Committee 205 of RTCA (2011)
3. Lecture Notes in Computer Science;R Abo,2014
4. 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. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
5. Bonvoisin, D., Benaissa, N.: Utilisation de la méthode de preuve formelle PERF de la RATP sur le projet PEEE. Revue Générale des Chemins de Fer 250 (2015)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献