Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Articolo
Data di Pubblicazione:
2021
Citazione:
Security modelling and formal verification of survivability properties: Application to cyber–physical systems / Bernardi, S., Gentile, U., Marrone, S., Merseguer, J., Nardone, R.. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - 171:(2021), p. 110746. [10.1016/j.jss.2020.110746]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Bernardi, S.; Gentile, U.; Marrone, S.; Merseguer, J.; Nardone, R.
Link alla scheda completa:
Pubblicato in: