%0 Conference Paper %1 conf/qrs/AnMCYX15 %A An, Shengwei %A Ma, Xiaoxing %A Cao, Chun %A Yu, Ping %A Xu, Chang %B QRS %D 2015 %I IEEE %K dblp %P 173-182 %T An Event-Based Formal Framework for Dynamic Software Update. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2015.html#AnMCYX15 %@ 978-1-4673-7989-2

@inproceedings{conf/qrs/AnMCYX15, added-at = {2024-02-09T00:00:00.000+0100}, author = {An, Shengwei and Ma, Xiaoxing and Cao, Chun and Yu, Ping and Xu, Chang}, biburl = {https://www.bibsonomy.org/bibtex/2ad50b6350c8383d00a8e8dfeceffa88d/dblp}, booktitle = {QRS}, crossref = {conf/qrs/2015}, ee = {https://doi.org/10.1109/QRS.2015.33}, interhash = {909e8150e5393721a5e43b0785e297a0}, intrahash = {ad50b6350c8383d00a8e8dfeceffa88d}, isbn = {978-1-4673-7989-2}, keywords = {dblp}, pages = {173-182}, publisher = {IEEE}, timestamp = {2024-04-10T08:29:21.000+0200}, title = {An Event-Based Formal Framework for Dynamic Software Update.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2015.html#AnMCYX15}, year = 2015 }