Skip to main navigation Skip to search Skip to main content

Runtime verification for rigorous engineering of cyber-physical systems

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

    Period30 Nov 2020 → 1 Dec 2020
    Event titleRuntime Verification Lectures @ ICTAC 2020
    Event typeOther
    Degree of RecognitionInternational

    Research Field

    • Dependable Systems Engineering