
Fachschaft Elektrotechnik
Formale Methoden Vertiefung
LVAs
-
181.145 VU Computer Aided Verification 6.0 ECTS / 2 Std
-
181.144 UE Computer Aided Verification 3.0 ECTS / 2 Std
-
184.747 VU Software Model Checking 6.0 ECTS / 4 Std
-
188.280 VU Software Testing 3.0 ECTS / 2 Std
-
185.A52 VU Automated Reasoning and Program Verification 3.0 ECTS / 2 Std
-
181.221 SE Seminar Formale Methoden 3.0 ECTS / 2 Std
-
184.703 VU Programmanalyse 3.0 ECTS / 2 Std
-
184.749 VU Semantik von Programmiersprachen 4.5 ECTS / 3 Std
-
185.276 VU Analyse und Verifikation 3.0 ECTS / 2 Std
-
185.206 VO Typsysteme 3.0 ECTS / 2 Std
-
182.733 LU Hybrid Systems 3.0 ECTS / 3 Std
-
182.732 VU Hybrid Systems 3.0 ECTS / 2 Std
Beschreibung
Voraussetzungen