Feasibility of formal model checking in the Vitatron environment

  • J.E. Wiggelinkhuizen

Scriptie/Masterproef: Master

Datum prijs31 jan. 2008
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1), E. Hendriksen (Afstudeerdocent 2) & Gerrit J. Tretmans (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 6,08 MB

    Type: Scriptie

'