Report copyright - Using AUTOSAR high-level speci cations for the synthesis ... · the synthesis of security components in automotive systems ... Marco Di Natale2, Gianluca Dini , ... our proposal has
Please pass captcha verification before submit form