Skip to main navigation Skip to search Skip to main content

From Real-Time Logic to Timed Automata

    Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

    Period22 Jun 2020 → 26 Jun 2020
    Event titleMOVEP Summer School 2020
    Event typeOther
    Degree of RecognitionInternational

    Research Field

    • Dependable Systems Engineering