update the first three sections
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