共 50 条
- [1] Specification and modeling of dynamic, distributed real-time systems [J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 72 - 81
- [2] COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME DISTRIBUTED SYSTEMS [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 75 - 93
- [3] Real-time framework for distributed embedded systems [J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2004, 3144 : 96 - 107
- [7] A Framework for Specification and Verification of Timeout Models of Real-Time Systems [J]. CONTEMPORARY COMPUTING, 2011, 168 : 146 - 157
- [9] A specification framework for real-time scheduling [J]. SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 195 - 207