Course | Teacher |
---|---|
Lecture: Modelling and analysis of hybrid systems |
Ábrahám, Schupp |
Practical course: Agile development of a theory solver for SMT |
Ábrahám, Haehn, Kremer, Schupp |
Practical course: Selected Topics in Renewable Energy |
Ábrahám, Richter |
Practical course: Web Applications for Renewable Energy |
Ábrahám, Richter |
Practical course: Heliostat Calibration with Drones in Solar Tower Power Plants |
Ábrahám, Richter, Schupp |
Seminar: Satisfiability Checking |
Ábrahám, Giesl, Dollase, Frohn, Haehn, Hark, Hensel, Korzniewski, Kremer, Schupp |