191.118 Runtime Verification

Ezio Bartocci (Speaker)
Nickovic, D. (Speaker)

Security & Communication Technologies

Activity: Talk or presentation / Lecture › Lecture

Description

6 ETCS

Period	Mar 2023 → Aug 2023
Held at	TU Wien, Austria

Research Field

Dependable Systems Engineering