A Formal Model for Supporting Frameworks of Dynamic Service Update Based on OSGi.

Jun-Qing Chen, Linpeng Huang, Siqi Du, Wenjia Zhou

Browse the full APSEC paper archive.