Runtime verification for rigorous engineering of cyber-physical systems

Aktivität: Vortrag ohne Tagungsband / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum30 Nov. 20201 Dez. 2020
EreignistitelRuntime Verification Lectures @ ICTAC 2020
VeranstaltungstypSonstiges
BekanntheitsgradInternational

Research Field

  • Dependable Systems Engineering