Skip to content

update the first three sections

Ole-Niklas Mahlstädt requested to merge ole into main

Write answers for the sections following sections from the question-catalogue.

  • UPPAAL
  • "Active-Wait-Verfahren"
  • "Kommunikationsmechanismen"

This includes some example C-code from the slides.

Edited by Ole-Niklas Mahlstädt

Merge request reports