Auslaufendes Modul
Dieses Modul läuft aus. Für neue Studierende ist es in der Regel nicht mehr belegbar.
Auslaufmodul seit 18.01.2022
Formale Methoden im Systementwurf
Titel auf Englisch: Formal Methods in System Design
Lernergebnisse
Participants become familiar with state-of-the-art formal methods for design, verification and test of complex hardware / software systems.
Inhalte
The module contains 2-4 block tutorials at post-graduate level, selected upon demand and availability, list of courses is available and updated (see attachment to programme of studies).
Voraussetzungen
Verpflichtende Voraussetzungen
Keine
Empfohlene Voraussetzungen
Diploma / Master in computer science, computer engineering, electrical engineering.
Prüfungsmodalitäten
- Oral examination, 30 min. OR
- Presentation and interview covering a set of tutorials, 60 min.
Angeboten in
- Dependable SystemsPromotion
Wahlpflichtkomplex: Kein Komplex genannt
| Studiengang | Abschluss | Wahlpflichtkomplex |
|---|---|---|
| Dependable Systems | Promotion | Kein Komplex genannt |
Literatur und Materialien
Students get web-access to available materials from all related courses.
Hinweise
Module content can be composed according to available tutorials
Bewertungen von Studierenden
Was Studierende über dieses Modul sagen. Die BTU hat damit nichts zu tun — hier schreiben nur Studierende, und jede Bewertung ist die Meinung einer einzelnen Person.