Get Real-Time Simulation Technologies: Principles, Methodologies, and Applications now with O’Reilly online learning.
O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.
Ming Zhang, Bernard Zeigler and Xiaolin Hu
2.2 Formal Approaches to the Design of Real-Time Distributed Computer Systems
2.3 DEVS as a Model-Based Design Formalization Tool
2.3.1 Model-Based System Design
2.3.2 DEVS and RT-DEVS
2.3.3 DEVS as a Formalized Aid to System Design
2.4 DEVS-Based Formal Design Approaches for Real-Time Distributed Computing Systems
2.4.1 Design Aid for Real-Time Distributed VE
2.4.2 Design Aid and Verification for Real-Time Distributed Systems
2.4.3 DEVS Approach to the Design of Distributed Real-Time Cooperative Robotic Systems
Real-time distributed computer systems combine ...