Bibliographic Details
| Title: |
Verificación formal de un modelo de simulación DEVS de una aplicación Storm. |
| Alternate Title: |
Formal verification of a DEVS simulation model of a Storm application. |
| Authors: |
Inostrosa-Psijas, Alonso1 alinostros@unap.cl, Oyarzún-Silva, Mauricio1 moyarzunsil@unap.cl, Medina-Quispe, Fernando1 femedina@unap.cl, García-Barrera, Francisco1 francgar@unap.cl, Solar-Gallardo, Roberto2 roberto.solar@usach.cl |
| Source: |
INGENIARE - Revista Chilena de Ingeniería. Dec2019, Vol. 27 Issue 4, p682-695. 14p. |
| Database: |
Academic Search Ultimate |
