342.201/11/12/13/14/15, VO / UE Formal Models, Bernhard Aichernig / Felix Wallner / Dominik Mascherbauer, 2026S

  • 342.201, VO Formal Models, Bernhard Aichernig, 2026S (2026S342201)
  • 342.211, UE Formal Models, Felix Wallner et al., 2026S (2026S342211)
  • 342.212, UE Formal Models, Felix Wallner et al., 2026S (2026S342212)
  • 342.213, UE Formal Models, Felix Wallner et al., 2026S (2026S342213)
  • 342.214, UE Formal Models, Felix Wallner et al., 2026S (2026S342214)
  • 342.215, UE Formal Models, Felix Wallner et al., 2026S (2026S342215)

342.240, KV Debugging, Bernhard Aichernig / Dominik Mascherbauer, 2026S

342.043-5, VL / UE Model Checking, Bernhard Aichernig / Felix Wallner, 2025W

  • 342.043, UE Model Checking, Felix Wallner, 2025W (2025W342043)
  • 342.044, VL Model Checking, Bernhard Aichernig, 2025W (2025W342044)
  • 342.045, UE Model Checking, Felix Wallner, 2025W (2025W342045)

342.060, KV Special Topics, Bernhard Aichernig / Felix Wallner, 2025W