Gráfico de menciones
FILTRA LOS DATOS
Trabajos destacados por categoría
Computer Science
Todos sus trabajos en el área Computer Science
Mentions
19
Twitter
0
Wikipedia
0
News
0
Policy
Article
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
Jesus Varela-Vaca, Angel; Rosado, David G.; Sanchez, Luis E.; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.; Fernandez-Medina, Eduardo
COMPUTERS IN INDUSTRY
0166-3615 (2021)
DOI /
10.1016/j.compind.2021.103524
OPEN ACCESS LEVEL /
Hybrid
Mentions
10
Twitter
0
Wikipedia
0
News
0
Policy
Article
Verifying the manipulation of data objects according to business process and data models
Miguel Perez-Alvarez, Jose; Teresa Gomez-Lopez, Maria; Eshuis, Rik; Montali, Marco; Gasca, Rafael M.
KNOWLEDGE AND INFORMATION SYSTEMS
0219-1377 (2020)
DOI /
10.1007/s10115-019-01431-5
OPEN ACCESS LEVEL /
Autores similares en
Computer Science
