7 results on '"Mok, Aloysius K."'
Search Results
2. A multiframe model for real-time tasks
3. Response-time bounds of EQL rule-based programs under rule priority structure
4. Modechart: a specification language for real-time systems
5. Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
6. Simulation-verification: biting at the state explosion problem
7. Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.