Cerdeira,, David Security assurance of an In-vehicle HMI Manager [Documento eletrónico] : specifying certifiable software for In-vehicle infotainment systems / David Cerdeira ; orient. Paulo Cardoso, Henrique Santos

Security assurance of an In-vehicle HMI Manager [Documento eletrónico] : specifying certifiable software for In-vehicle infotainment systems / David Cerdeira ; orient. Paulo Cardoso, Henrique Santos . - [Braga : s.n.], 2018 . -

681.3-7