Verifiering och validering av automatiserade systems säkerhet
Projektet VALU3S utvärderar de senaste verktygen och metoderna för verifiering och validering av automatiserade system inom fordonsindustri, jordbruk, järnväg, hälso- och sjukvård, flyg och industriell robotik och automatisering.