Searching for "A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State
- … for Specifying, Executing and Checking Communicating Real-Time State Machines sitaram c. v. raju and alan c. shaw…
- Cited by 18 (5 self) – Add To MetaCart
Showing 1 through 1.
