Formal Methods and Validation Techniques for Ensuring Automotive Systems Security.

Autor:	Krichen, Moez1,2 (AUTHOR) moez.krichen@redcad.org
Zdroj:	Information (2078-2489). Dec2023, Vol. 14 Issue 12, p666. 43p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.