Registered user since Thu 6 Apr 2023
Name:Marco Stadler
Country:Austria
Affiliation:Johannes Kepler University Linz
GitHub: https://github.com/mstadler-jku
Research interests:Runtime Monitoring, CPS, Security Modes, ROS
Contributions
Using general profile