CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
En los últimos años, los sistemas ciberfísicos (CPS) están recibiendo una gran atención por parte de la sociedad, especialmente en los entornos industriales, pero esta popularidad ...




