Boots, shoes, and leggings
Inventor
active
Implied message sequence charts
Model checking of hierarchical state machines
Model checking of message flow diagrams
Timing verification by successive approximation
No associations
LandOfFree
Rajeev Alur does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Rajeev Alur, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rajeev Alur will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-1380684