Rajesh Kumar

United Technologies Research Center

other persons with the same name:

• Rajesh Kumar - Intel Corporation, Hillsboro
• Rajesh Kumar - University of California, Santa Barbara
• Rajesh Kumar
• Rajesh Kumar - Aker Kværner Offshore Partner
• Rajesh Kumar - Dept. of Mathematics, PGDAV Evening College, Univ. of Delhi
• Rajesh Kumar - Johns Hopkins University

	2005
1		Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler: An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385

Coauthor Index

1	Peter H. Feiler	[1]
2	Bruce H. Krogh	[1]