main page
about us
- staff
- activities
- teams
- how to find us
teaching
- lectures
- bachelor theses
- master theses
research
- projects
publications
- by topic
- books
- ph.d. theses
jobs
- research (WiMi)
- students (HiWi)
- industrial cooperation
videos
Modellgetriebene Formale Verifikation von verteilten Systemen
Betreuer:
Hendrik Kausch, M. Sc. RWTH
Mathias Pfeiffer, M. Sc. RWTH
Dipl.-Inform. Deni Raco
Kurstyp:
Praktikum