Cortes, D., Ortiz, J., Basile, D., Aranda, J., Perrouin, G., & Schobbens, P. (2024, April 14). Time for Networks: Mutation Testing for Timed Automata Networks. FME Workshop on Formal Methods in Software Engineering (Online), 44-54. https://doi.org/10.1145/3644033.3644378
Citace podle Chicago (17th ed.)Cortes, David, James Ortiz, Davide Basile, Jesus Aranda, Gilles Perrouin, a Pierre-Yves Schobbens. "Time for Networks: Mutation Testing for Timed Automata Networks." FME Workshop on Formal Methods in Software Engineering (Online) 14 Apr. 2024: 44-54. https://doi.org/10.1145/3644033.3644378.
Citace podle MLA (9th ed.)Cortes, David, et al. "Time for Networks: Mutation Testing for Timed Automata Networks." FME Workshop on Formal Methods in Software Engineering (Online), 14 Apr. 2024, pp. 44-54, https://doi.org/10.1145/3644033.3644378.