Vehicle function correctness
: using mCRL2 to verify StateFlow charts and Simulink models

  • R.J.A. Schoren

Student thesis: Master

Date of Award31 Mar 2012
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1) & Rudolf G.M. Huisman (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 580 KB

    Type: Thesis

'