Verificación formal de un modelo de simulación DEVS de una aplicación Storm.
Saved in:
| 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 |
Be the first to leave a comment!
