Skip to main navigation
Skip to search
Skip to main content
Austrian Institute of Technology Home
Help & FAQ
Deutsch
English
Home
Profiles
Research units
Research output
Datasets
Prizes
Activities
Search by expertise, name or affiliation
182.741 Runtime Verification
Nickovic, D.
(Speaker)
Security & Communication Technologies
Activity
:
Talk or presentation / Lecture
›
Lecture
Period
1 Mar 2021
→
30 Jun 2021
Held at
TU Wien
, Austria
Research Field
Dependable Systems Engineering
X