Author:
Farrell Marie,Luckcuck Matt,Sheridan Oisín,Monahan Rosemary
Publisher
Springer International Publishing
Reference15 articles.
1. Back, R.J., Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Cham (1998)
2. Barbosa, R., et al.: The VALU3S ECSEL project: verification and validation of automated systems safety and security. In: Euromicro Conference on Digital System Design, pp. 352–359. IEEE (2020)
3. Bourbouh, H., et al.: Integrating formal verification and assurance: an inspection rover case study. In: Dutle, A., Moscato, M.M., Titolo, L., Muñoz, C.A., Perez, I. (eds.) NFM 2021. LNCS, vol. 12673, pp. 53–71. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-76384-8_4
4. Bourbouh, H., Garoche, P.L., Loquen, T., Noulard, É., Pagetti, C.: CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models. In: European Congress on Embedded Real Time Software and Systems (2020)
5. Darimont, R., Van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. ACM SIGSOFT Softw. Eng. Notes 21(6), 179–190 (1996)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献