Analysis of CPS simulation models driven by formal specifications

    Aktivität: Vortrag ohne Tagungsband / Vorlesung › Eingeladener Vortrag bei Industrie oder öffentlicher Einrichtung

    Zeitraum22 Jan. 2024
    EreignistitelSiemens Digital Technologies Talks
    VeranstaltungstypWorkshop
    OrtÖsterreichAuf Karte anzeigen
    BekanntheitsgradInternational

    Research Field

    • Dependable Systems Engineering