共 138 条
- [1] Alhazbi Saleh., 2006, Information and Communication Technologies, V2, P2889
- [2] An Event-based Formal Framework for Dynamic Software Update [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY (QRS 2015), 2015, : 173 - 182
- [3] Anderson G., 2012, LECT NOTES COMPUTER, V7705, P207, DOI DOI 10.1007/978-3-642-35182-2_
- [5] Ballabriga C., 2005, SIGSOFT SOFTW ENG NO, V30, P80, DOI DOI 10.1145/1095430.1081720
- [6] Banno Filippo, 2010, 2010 IEEE Symposium on Computers and Communications (ISCC), P471, DOI 10.1109/ISCC.2010.5546542
- [7] Bazzi R. A., 2012, Proceedings 2012 Fourth International Workshop on Hot Topics in Software Upgrades (HotSWUp 2012), P1, DOI 10.1109/HotSWUp.2012.6226611