Open source Entwicklungsumgebung für die Entwicklung und Verifikation von sicherheitskritischen Systemen

  • Mischa Köpf

    Student thesis: Master's Thesis

    Date of Award2025
    Original languageGerman (Austria)
    SupervisorBurkhard Stadlmann (Supervisor)

    Studyprogram

    • Automation Engineering

    Cite this

    '