共 50 条
- [35] Dynamic Software Updates for Accelerating Scientific Discovery COMPUTATIONAL SCIENCE - ICCS 2009, PART I, 2009, 5544 : 237 - 247
- [36] Specifying and Verifying the Correctness of Dynamic Software Updates VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 278 - +
- [39] Automated Security Analysis of IoT Software Updates INFORMATION SECURITY THEORY AND PRACTICE, WISTP 2019, 2020, 12024 : 223 - 239
- [40] STUDY AIMS TO EXPEDITE EW SOFTWARE UPDATES AVIATION WEEK & SPACE TECHNOLOGY, 1994, 141 (15): : 68 - 68