Article SCIELO SCOPUS
Ingeniare  (2019)

Verificación formal de un modelo de simulación DEVS de una aplicación Storm

Alonso Inostrosa-Psijas; Mauricio Oyarzún-Silva; Fernando Medina-Quispe; Francisco García-Barrera; Roberto Solar-Gallardo

Keywords: simulation, formal verification, Simulación, verificación formal, DEVS, autómatas temporizados, timed automaton

Más información

Título según SCOPUS: Formal verification of a DEVS simulation model of a storm application [Verificación formal de un modelo de simulación DEVS de una aplicación storm]
Título según SCIELO: Verificación formal de un modelo de simulación DEVS de una aplicación Storm
Título de la Revista: Ingeniare
Volumen: 27
Número: 4
Editorial: Universidad de Tarapaca
Fecha de publicación: 2019
Página de inicio: 682
Página final: 695
Idioma: Spanish
DOI:

10.4067/S0718-33052019000400682
Notas: SCIELO, SCOPUS