Skip to main navigation Skip to search Skip to main content

Proving correctness of threaded parallel executable code generated from models described by a domain specific language

  • S. Roede

Student thesis: Master

Date of Award31 Aug 2012
Original languageEnglish
SupervisorRuurd Kuiper (Supervisor 1) & Joost M.A.M. Gabriels (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 1.54 MB

    Type: Thesis

'