INOSTROSA-PSIJAS, Alonso; OYARZÚN-SILVA, Mauricio; MEDINA-QUISPE, Fernando; GARCÍA-BARRERA, Francisco; SOLAR-GALLARDO, Roberto. Verificación formal de un modelo de simulación DEVS de una aplicación Storm. Ingeniare. Revista Chilena de Ingeniería, [S. l.], v. 27, n. 4, 2024. Disponível em: https://ingeniare.uta.cl/index.php/inge/article/view/1053. Acesso em: 10 ago. 2026.