Rajeev A C

Follow

Person

Bangalore, IN

People

Patents Applicationslast 30 patents

Information Patent Application
TIMING ANALYSIS USING FORMAL METHODS
- Publication number 20110282640
- Publication date Nov 17, 2011
- GM Global Technology Operations, Inc.
- Swarup K. Mohalik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Automatic Test-Case Generation for Distribute...
- Publication number 20110083121
- Publication date Apr 7, 2011
- GM GLOBAL TECHNOLOGY OPERATIONS, INC.
- Manoj G. Dixit
- G06 - COMPUTING CALCULATING COUNTING