Explore projects

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

Dateien zur Besprechung der Aufgaben in der Vorlesung Systemprogrammierung 1 im SS 2020.

Host applications and library for Crazyflie written in Python.

Template for first exercise sheet