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

'