Industrial-strength formal verification of complex multi-disciplinary domain-specific models for embedded systems

  • J.J. Nelisse

Student thesis: Master

Date of Award1 Oct 2014
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1) & E. Schindler (External coach)

Cite this

Documents

  • full text

    File: application/pdf, 2.74 MB

    Type: Thesis

'