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...
Directly verifying a black box system
Implied message sequence charts
Methods and apparatus for generating passive testers from proper
Model checking of hierarchical state machines
No associations
LandOfFree
Mihalis Yannakakis does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Mihalis Yannakakis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mihalis Yannakakis will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-1218531