共 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
[4]
[Anonymous], 2014, P 2014 IEEE EM TECHN
[5]
[Anonymous], 2018, AS COMM PHONT C ACP, DOI DOI 10.1109/ACP.2018.8596151
[6]
[Anonymous], 2008, 12 INT C EVALUATION, DOI [DOI 10.5555/2227115.2227123, 10.14236/ewic/EASE2008.8, DOI 10.14236/EWIC/EASE2008.8]
[7]
[Anonymous], 2012, LNCS
[8]
Ballabriga C., 2005, SIGSOFT SOFTW ENG NO, V30, P80, DOI DOI 10.1145/1095430.1081720
[9]
Banno Filippo, 2010, 2010 IEEE Symposium on Computers and Communications (ISCC), P471, DOI 10.1109/ISCC.2010.5546542
[10]
Bazzi R. A., 2012, Proceedings 2012 Fourth International Workshop on Hot Topics in Software Upgrades (HotSWUp 2012), P1, DOI 10.1109/HotSWUp.2012.6226611