Buscar
Mostrando ítems 1-1 de 1
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
(Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial environments, but this popularity has been accompanied by serious security challenges. A CPS is a ...