The goal of this module is to provide young prospective engineers or computer scientists with formal mathematical and methodical tools so that they are enabled to predict and avoid real-time bugs.
Kontakt: saps@uni-ulm.de