MARVEL: A stepwise debugging tool for Markov models in the PRISM-language

2024

Verantwortlichkeitsangabeby Patrick Arens

ImpressumAachen 2024

Masterarbeit, RWTH Aachen University, 2024

Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
Noll, Thomas (Thesis advisor)^RWTH* ; Katoen, Joost-Pieter (Thesis advisor)^RWTH* ; Fesefeldt, Ira Justus (Consultant)^RWTH*

Tag der mündlichen Prüfung/Habilitation
2024-10-17

Thematische Einordnung (Klassifikation)
DDC: 004

Dokumenttyp
Master Thesis

Herkunft
Public Reference

Sprache
English

Interne Identnummern
RWTH-2025-09849
Datensatz-ID: 1022049

Beteiligte Länder
Germany

Record created 2025-11-20, last modified 2025-11-20

Similar records

Restricted:

PDF

Rate this document:

(Not yet reviewed)

h1