BibTeX record journals/cii/Varela-VacaRSLG21

• > Home > journals/cii/Varela-VacaRSLG21

@article{DBLP:journals/cii/Varela-VacaRSLG21,
  author       = {{\'{A}}ngel Jes{\'{u}}s Varela{-}Vaca and
                  David Garcia Rosado and
                  Luis Enrique S{\'{a}}nchez and
                  Mar{\'{\i}}a Teresa G{\'{o}}mez{-}L{\'{o}}pez and
                  Rafael M. Gasca and
                  Eduardo Fern{\'{a}}ndez{-}Medina},
  title        = {{CARMEN:} {A} framework for the verification and diagnosis of the
                  specification of security requirements in cyber-physical systems},
  journal      = {Comput. Ind.},
  volume       = {132},
  pages        = {103524},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.compind.2021.103524},
  doi          = {10.1016/J.COMPIND.2021.103524},
  timestamp    = {Sat, 27 Apr 2024 21:28:58 +0200},
  biburl       = {https://dblp.org/rec/journals/cii/Varela-VacaRSLG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}