Design and evaluation of a probabilistic pointer programming language using Monte-Carlo simulation

Meiser, Dominic Sebastian; Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Fesefeldt, Ira Justus (Consultant)

Aachen (2022)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2022

Kurzfassung

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]