Local de publicação venue para
- Two Fall-Related and Kinematic Data-Based Approaches for an Instrumented Conventional Cane 2021
- Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices 2017
- Formal Verification of a Space System's User Interface With the IVY Workbench 2016