Author:
Hamidi Amine,Collart-Dutilleul Simon,Bon Philippe
Publisher
Springer Nature Switzerland
Reference22 articles.
1. Aït-Ameur, Y., Bogomolov, S., Dupont, G., Iliasov, A., Romanovsky, A.B., Stankaitis, P.: A refinement-based formal development of cyber-physical railway signalling systems. Formal Aspects Comput. 35(1), 3:1 (2023). https://doi.org/10.1145/3524052
2. Bon, P., Collart-Dutilleul, S., Bougacha, R.: Ato over etcs: a system analysis for freight trains. Comput. Railways XVIII: Railway Eng. Des. Oper. 213, 37 (2022)
3. Lecture Notes in Computer Science;R Bougacha,2023
4. Lecture Notes in Computer Science;AD Brucker,2019
5. Burdy, L., Déharbe, D., Prun, É.: Interfacing automatic proof agents in atelier B: introducing “IAPA”. In: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS, vol. 240, pp. 82–90 (2016). https://doi.org/10.4204/EPTCS.240.6