You are here

Bosch-FBK collaboration

Project researchers

Researcher
Researcher

A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.

Date: 
Sunday, 1 September, 2019 to Tuesday, 31 December, 2019