Analysis of stateflow models using mCRL2

  • R.C. van Cann

Student thesis: Master

Date of Award31 Aug 2008
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1) & Jozef J.M. Hooman (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 1.72 MB

    Type: Thesis

'