共 50 条
- [14] Formalizing class dynamic software updating QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 403 - +
- [16] VENDORS CAN TRIP YOU UP ON SOFTWARE UPDATES SYSTEMS INTEGRATION BUSINESS, 1990, 23 (11): : 45 - 45
- [17] Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 207 - 220
- [19] Dynamic Software Updates for Accelerating Scientific Discovery COMPUTATIONAL SCIENCE - ICCS 2009, PART I, 2009, 5544 : 237 - 247
- [20] Specifying and Verifying the Correctness of Dynamic Software Updates VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 278 - +