The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security.
Raul BarbosaStylianos BasagiannisGeorgios GiantamidisH. BeckerEnrico FerrariJ. JahicA. KanakMikel Labayen EsnaolaVanessa OraniDavid PereiraLuigi PomanteRupert SchlickA. SmrckaAhmet YaziciPeter FolkessonBehrooz SangchooliePublished in: DSD (2020)