共 50 条
- [39] Fault-tolerant scheduling in distributed real-time systems 2001 INTERNATIONAL CONFERENCE ON COMPUTER NETWORKS AND MOBILE COMPUTING, PROCEEDINGS, 2001, : 275 - 280
- [40] Symbolic verification of distributed real-time systems with complex synchronizations FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 300 - 314