Author:
Dust Lukas,Gu Rong,Seceleanu Cristina,Ekström Mikael,Mubeen Saad
Publisher
Springer Nature Switzerland
Reference24 articles.
1. UPPAAL (2024). https://uppaal.org/
2. Verifying Multi-threaded Software with SPIN (2024). https://spinroot.com/spin/whatispin.html
3. Albonico, M., Dordevic, M., Hamer, E., Malavolta, I.: Software engineering research on the robot operating system: a systematic mapping study. J. Syst. Softw. 197(C) (2023). https://doi.org/10.1016/j.jss.2022.111574
4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
5. Anand, A., Knepper, R.: ROSCoq: robots powered by constructive reals. In: Urban, C., Zhang, X. (eds.) ITP 2015. LNCS, pp. 34–50. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-22102-1_3