Martin Kaspar

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Safety Critical

Hybrid Approaches

Conceptual Model

Top Venues

Publications

Sarvesh Patankar, Sainath Karlapalem, Sakshi Biyani, Wen Chen, Roman Chovanec, Martin Vlk, Martin Kaspar
Hybrid Methodology for Verification of SW Safety Mechanisms. VTS (2021)