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