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.