Explore projects
-
syswcec / ecrts18-artifact-evaluation
GNU General Public License v3.0 onlyRepository for the ECRTS 2018 artifact evaluation
Updated -
Updated
-
-
Michael Sammler / GQM-Coq
MIT LicenseUpdated -
-
Updated
-
-
Selbstbalancierender Roboter
Updated -
Marco Ammon / thprog-merkzettel
GNU General Public License v3.0 onlyUpdated -
The boring elaboration of my bachelor thesis. If the build succeeds the latest version can be downloaded here: https://gitlab.cs.fau.de/sedrubal/bachelor-thesis/builds/artifacts/master/browse/?job=render-paper
Updated -
Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript
Updated -
Marco Ammon / IDB-Zusammenfassung
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
-
-
-
Updated
-
Updated
-
Matlab toolbox for the generic classes and functions of the Infinite-dimensional Systems research group at the Lehrstuhl für Regelungstechnik of the FAU.
Archived 2Updated