An Event-Based Formal Framework for Dynamic Software Update.

Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu

Browse the full QRS paper archive.