Isabelle Bacher

M.Sc. Isabelle Bacher

Publikationen

Zu den Publikationen

Abgeschlossene Abschlussarbeiten

  • Julian Hochgürtel: Verifikation stochastischer echtzeitkritischer Softwareprodukte. Bachelorarbeit, Betreuer: I. Bacher, 2021.