The Marriage Between Safety and Cybersecurity: Still Practicing

Autor:	Stoelinga, M.I.A., Kolb, C., Nicoletti, S.M., Budde, C.E., Hahn, E.M., Laarman, A.
Rok vydání:	2021
Zdroj:	Laarman, A. (ed.), Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings, 3-21. Cham : Springer International Publishing STARTPAGE=3;ENDPAGE=21;ISSN=0302-9743;TITLE=Laarman, A. (ed.), Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
ISSN:	0302-9743
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30aaa196ade507f3915589a84165aa4d http://hdl.handle.net/2066/236609 Zobrazit plný text záznamu