Is a
Patent attributes
Patent Jurisdiction
Patent Number
Date of Patent
June 19, 2007
Patent Application Number
10956983
Date Filed
September 30, 2004
Patent Citations Received
Patent Primary Examiner
Patent abstract
A method and apparatus for resource management for non-deterministic automata for dynamic verification of a system or device under test is described herein.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.