Azcorra A.
11
Coauthors
2
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 1993 | 1 |
| 1996 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Ingeniería de software | 1 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Métodos informáticos especiales | 1 |
| Funcionamiento de bibliotecas y archivos | 1 |
Principales fuentes de datos
| Origen | Num. Publicaciones |
|---|---|
| Scopus | 2 |
| Google Scholar | 0 |
| RRAAE | 0 |
Cargando gráfico
Coautores destacados por número de publicaciones
| Coautor | Num. Publicaciones |
|---|---|
| Joaquín Salvachúa | 2 |
| de Miguel T.P. | 2 |
| Larrabeiti D. | 1 |
| Huecas G. | 1 |
| Quemada J. | 1 |
| Petit M. | 1 |
| Robles T. | 1 |
| Pavón S. | 1 |
| Mañas J. | 1 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Tool support to implement LOTOS formal specifications
ArticleAbstract: LOTOS is a specification language that aims to describe the dynamic behavior of complex systems. ToPalabras claves:Formal description techniques, formal program derivation, LOTOS, protocol implementation, prototyping formal specification compilation, specification languages, TESTINGAutores:Azcorra A., de Miguel T.P., Joaquín Salvachúa, Mañas J.Fuentes:scopusISABEL: A CSCW application for the distribution of events
Conference ObjectAbstract:Palabras claves:Autores:Azcorra A., de Miguel T.P., Huecas G., Joaquín Salvachúa, Larrabeiti D., Pavón S., Petit M., Quemada J., Robles T.Fuentes:scopus