Author:
Fantechi Alessandro,Gnesi Stefania,Haxthausen Anne E.
Publisher
Springer International Publishing
Reference15 articles.
1. Basile, D., et al.: Designing a demonstrator of formal methods for railways infrastructure managers. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 467–485. Springer, Heidelberg (2020)
2. Collart-Dutilleul, S., Bon, P.: A modular design framework to assess intelligent trains. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 404–414. Springer, Heidelberg (2020)
3. Lecture Notes in Computer Science;A Fantechi,2012
4. Lecture Notes in Computer Science;A Fantechi,2016
5. Fantechi, A., Gnesi, S., Haxthausen, A., van de Pol, J., Roveri, M., Treharne, H.: SaRDIn - a safe reconfigurable distributed interlocking. In: Proceedings of 11th World Congress on Railway Research, WCRR. Ferrovie dello Stato Italiane, Milano (2016)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献