Rajesh Kumar

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Rajesh Kumar, Bruce H. Krogh
A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. ACC (2007)
Rajesh Kumar, Bruce H. Krogh
Heterogeneous verification of embedded control systems. ACC (2006)
Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC (2005)