共 50 条
- [21] Model-Based Testing of Real-Time Distributed Systems DATABASES AND INFORMATION SYSTEMS, DB&IS 2016, 2016, 615 : 272 - 286
- [22] A Causality Analysis Framework for Component-Based Real-Time Systems RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 285 - 303
- [23] Component-Based Distributed Framework for Coherent and Real-Time Video Dehazing 2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE) AND IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC), VOL 1, 2017, : 321 - 324
- [24] 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
- [27] Implementing reliable distributed real-time systems with the Θ-model PRINCIPLES OF DISTRIBUTED SYSTEMS, 2006, 3974 : 334 - +
- [28] 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
- [30] Event-based Utilization Control for Distributed Real-time Embedded Systems PROCEEDINGS OF 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2015), 2015, : 798 - 803