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: Download PDF