Inostrosa-Psijas, A., Oyarzún-Silva, M., Medina-Quispe, F., García-Barrera, F., & Solar-Gallardo, R. (2024). Verificación formal de un modelo de simulación DEVS de una aplicación Storm. Ingeniare. Revista Chilena De Ingeniería, 27(4). Recuperado a partir de https://ingeniare.uta.cl/index.php/inge/article/view/1053