Publisher
Springer Nature Switzerland
Reference12 articles.
1. Huisman, M., Gurov, D., Malkis, A.: Formal methods: from academia to industrial practice: a travel guide. (2020). https://arxiv.org/abs/2002.07279
2. Lecture Notes in Computer Science;M Farrell,2022
3. Luckcuck, M., et al.: A methodology for developing a verifiable aircraft engine controller from formal requirements. In: IEEE Aerospace Conference (2022)
4. Lecture Notes in Computer Science;O Sheridan,2022
5. Lecture Notes in Computer Science;M Farrell,2022