Functional level FSM paper from BRACE and TU/e was presented at FESCA 2016

  • April 7, 2016
  • Marcel Romijn

As a side effect of the work carried out on the Cruise Control Functional Safety project a paper was written and submitted for approval. Lead authors were the students that worked on the project and supervisors of BRACE and the TU/e supported. This paper was presented at the "13th International Workshop on Formal Engineering approaches to Software Components and Architectures - Satellite event of ETAPS, April 3rd, 2016, Eindhoven, Netherlands". You can download it now.

Download PDF


Looking for automotive challanges?

See all our job offerings

Brace for Companies

If you want to find out how we can help your company?

Just get in contact with us. And we're happy to explain