A formal model and risk assessment method for security-critical real-time embedded systems
Keyword(s):
Keyword(s):
2013 ◽
Vol 8
(2)
◽
pp. 338-347
◽
Keyword(s):
2019 ◽
Vol 85
(876)
◽
pp. 19-00067-19-00067
Keyword(s):
Keyword(s):
2020 ◽
Vol 1585
◽
pp. 012023
Keyword(s):
2020 ◽
Vol 34
(5)
◽
pp. 627-640
◽
Keyword(s):
2021 ◽
Vol 18
(9)
◽
pp. 4849