This documentation has been written as an final assignment for the course "Verification of safe and secure Systems using formal specification"
It contains a formal and mathematic specification of a former project, which I've done while my studies.
The copyright for the following images holds the Eastern Bavarian Technical University of Applied Sciences Regensburg (OTH Regensburg: www.oth-regensburg.de)
- OTHLogo.jpg
- OTHLogoMin.jpg
Thank you for visiting my project! :-)