An Approach at Quantifying the Reliability of Software-Controlled Systems using Formal Methods

  • Jari W.G.T. Martens

Student thesis: Master

Date of Award19 Apr 2024
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1), J.A. van den Boogaard (External coach) & Pieter J.L. Cuijpers (Supervisor 2)

Cite this

Documents

  • pdf

    File: application/pdf, 6.58 MB

    Type: Thesis

'