Varela-Vaca Á.J.
10
Coauthors
2
Documentos
Volumen de publicaciones por año
Cargando gráfico
| Año de publicación | Num. Publicaciones |
|---|---|
| 2020 | 1 |
| 2021 | 1 |
Publicaciones por áreas de conocimiento
Cargando gráfico
| Área de conocimiento | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
Publicaciones por áreas temáticas
Cargando gráfico
| Área temática | Num. Publicaciones |
|---|---|
| Ciencias de la computación | 2 |
| Física aplicada | 2 |
| Factores que afectan al comportamiento social | 1 |
| Derecho privado | 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 |
|---|---|
| Gasca R.M. | 2 |
| Fernandez-Medina E. | 2 |
| Luis Enrique Sánchez Crespo | 2 |
| Rosado D.G. | 2 |
| Gómez-López M.T. | 2 |
Cargando gráfico
Top Keywords
Cargando gráfico
Publicaciones del autor
Definition and Verification of Security Configurations of Cyber-Physical Systems
Conference ObjectAbstract: The proliferation of Cyber-Physical Systems (CPSs) is raising serious security challenges. These arePalabras claves:Configuration, CPS, Cyber-physical system, Feature model, Requirement, security, VerificationAutores:Fernandez-Medina E., Gasca R.M., Gómez-López M.T., Luis Enrique Sánchez Crespo, Rosado D.G., Varela-Vaca Á.J.Fuentes:scopusCARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
ArticleAbstract: In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especPalabras claves:Configuration models, Cyber-physical system, CYBERSECURITY, diagnosis, security, Security requirements, Security verificationAutores:Fernandez-Medina E., Gasca R.M., Gómez-López M.T., Luis Enrique Sánchez Crespo, Rosado D.G., Varela-Vaca Á.J.Fuentes:scopus