Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Academic Article
Publication Date:
2021
Short description:
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]
Iris type:
1.1 Articolo in rivista
List of contributors:
Bernardi, S.; Gentile, U.; Marrone, S.; Merseguer, J.; Nardone, R.
Published in: