共 50 条
- [1] Event-triggered environments for verification of real-time systems [J]. PROCEEDINGS OF THE 2003 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2003, : 915 - 922
- [3] Real-Time Event Framework based on component model for distributed real-time systems [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1942 - 1948
- [4] Analytic Model for Optimal Checkpoints in Mobile Real-time Systems [J]. KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2016, 10 (08): : 3689 - 3700
- [5] A resource and QoS management framework for a real-time event system in mobile ad hoc environments [J]. NINTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2004, : 217 - 224
- [7] Symbolic model checking for event-driven real-time systems [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 386 - 412
- [8] MEME: Real-Time Mobility Estimation for Mobile Environments [J]. 2014 IEEE 39TH CONFERENCE ON LOCAL COMPUTER NETWORKS (LCN), 2014, : 133 - 141
- [9] Real-time systems for mobile robotic applications based on a behavioural model [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 153 - 158
- [10] Spatio-temporal model checking for mobile real-time systems [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 347 - 361