The formal verification of Rose RealTime software models using Petri nets

  • M. van Leeuwen

Student thesis: Master

Date of Award31 Aug 2007
Original languageEnglish
SupervisorK.M. van Hee (Supervisor 1) & L.J.A.M. Somers (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 2.04 MB

    Type: Thesis

'