Formal verification and validation of test methods for complex vehicle safety systems in virtual environments

Third party funded individual grant


Start date : 01.08.2014

End date : 01.08.2017