共 50 条
- [21] Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains MODEL CHECKING SOFTWARE, 2010, 6349 : 193 - +
- [22] Time-Bounded Sequential Parameter Optimization LEARNING AND INTELLIGENT OPTIMIZATION, 2010, 6073 : 281 - 298
- [23] Handling QoS dependencies in distributed cooperative real-time systems DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 191 - 200
- [26] Cooperative energy management in distributed wireless real-time systems Wireless Networks, 2011, 17 : 1475 - 1491
- [27] Towards a Theory of Time-Bounded Verification AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 22 - 37