Analysis of stateflow models using mCRL2

  • R.C. van Cann

Scriptie/Masterproef: Master

Datum prijs31 aug. 2008
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1) & Jozef J.M. Hooman (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 1,72 MB

    Type: Scriptie

'