共 50 条
- [31] Model checking real-time properties of symmetric systems MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 427 - 436
- [32] Implementing reliable distributed real-time systems with the Θ-model PRINCIPLES OF DISTRIBUTED SYSTEMS, 2006, 3974 : 334 - +
- [33] An event model for real-time systems in mobile environments SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2004, : 29 - 34
- [34] Research on the reliability model of real-time network systems Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 2004, 25 (03): : 275 - 278
- [35] Model Driven Timing Analysis for Real-Time Systems 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 1458 - 1465
- [36] THE EXECUTION MODEL AND THE ARCHITECTURE FOR REAL-TIME PARALLEL SYSTEMS INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 177 - 182
- [37] Model Predictive Real-Time Monitoring of Linear Systems 2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 297 - 306
- [38] Model Feasible Interactions in Distributed Real-Time Systems FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 144 - 168
- [39] Symbolic model checking for discrete real-time systems Science China Information Sciences, 2018, 61