Inna Vistbakka

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 17

Top Topics

Formal Verification

Security Requirements

Robotic Systems

Top Venues

SAFECOMP Workshops

Publications