Membership
Tour
Register
Log in
Sathyaraja H. Nandugudi
Follow
Person
Bangalore, IN
People
Overview
Industries
Organizations
People
Information
Impact
Patents Applications
last 30 patents
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
Information
Patent Application
EXPLICIT STATE MODEL CHECKING OF SL/SF MODELS USING THE AUTO-GENERA...
Publication number
20100333061
Publication date
Dec 30, 2010
GM Global Technology Operations, Inc.
Swarup K. Mohalik
G06 - COMPUTING CALCULATING COUNTING