Muestra la distribución de la producción WoS, Scopus y SciELO del autor.
Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.
| Firmas del autor | |
| Nombre | INOSTROSA-PSIJAS, ALONSO |
| Género | Hombre |
| Área Principal WOS | Engineering, Multidisciplinary; |
| Afiliación Principal | Universidad Arturo Prat |
Publicaciones en Chile
Citas Totales
Afiliaciones Chilenas
| WOS | #Pub |
|---|---|
| Engineering, Multidisciplinary | 1 |
| Scopus | #Pub |
|---|---|
| Engineering (All) | 1 |
| SciELO | #Pub |
|---|---|
| Engineering | 1 |
| Autor | Género | # Pub |
|---|---|---|
| OYARZÚN-SILVA, MAURICIO | Hombre | 1 |
| GARCÍA-BARRERA, FRANCISCO | Hombre | 1 |
| SOLAR-GALLARDO, ROBERTO | Hombre | 1 |
| MEDINA-QUISPE, FERNANDO | Hombre | 1 |
| Título | Año | Citas | Tipo | Revista | Indexada |
|---|---|---|---|---|---|
| Verificación Formal De Un Modelo De Simulación Devs De Una Aplicación Storm | 2019 | 0 | artículo de investigación | Ingeniare. Revista Chilena De Ingeniería | SciELO Scopus |
| Palabra Clave | #Pub |
|---|---|
| autómatas temporizados | 1 |
| devs | 1 |
| formal verification | 1 |
| simulación | 1 |
| simulation | 1 |
| timed automaton | 1 |
| verificación formal | 1 |