Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
Inventor
active
Automatic generation and regeneration of a covering test...
Graphics image editor
Method and apparatus for deriving image width and height from ra
Methods and apparatus for generating passive testers from proper
On-the-fly model checking with partial-order state space reducti
No associations
LandOfFree
Gerard J. Holzmann does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Gerard J. Holzmann, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gerard J. Holzmann will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-1218530