The formal verification of Rose RealTime software models using Petri nets

  • M. van Leeuwen

Scriptie/Masterproef: Master

Samenvatting

Datum prijs31 aug 2007
Originele taalEngels
BegeleiderKees M. van Hee (Afstudeerdocent 1) & Lou J.A.M. Somers (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 2,04 MB

    Type: Scriptie

'