Anirudh Kushwah

Publication Activity (10 Years)

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

Top Topics

Query Refinement

Face Verification

Top Venues

Publications

Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock
Refinement-Based Verification of the FreeRTOS Scheduler in VCC. ICFEM (2015)