Hybrid Methodology for Verification of SW Safety Mechanisms.

Sarvesh Patankar, Sainath Karlapalem, Sakshi Biyani, Wen Chen, Roman Chovanec, Martin Vlk, Martin Kaspar

Browse the full VTS paper archive.