%0 Conference Paper %1 conf/isorc/ZhangZMN19 %A Zhang, Feng %A Zhao, Yongwang %A Ma, Dianfu %A Niu, Wensheng %B ISORC %D 2019 %I IEEE %K dblp %P 10-17 %T Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2019.html#ZhangZMN19 %@ 978-1-7281-0151-4

@inproceedings{conf/isorc/ZhangZMN19, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zhang, Feng and Zhao, Yongwang and Ma, Dianfu and Niu, Wensheng}, biburl = {https://www.bibsonomy.org/bibtex/2764573c0f0776ac147d791aa0a6799c7/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2019}, ee = {https://doi.org/10.1109/ISORC.2019.00013}, interhash = {ee7f9fed0b9b91474db5784647b27d11}, intrahash = {764573c0f0776ac147d791aa0a6799c7}, isbn = {978-1-7281-0151-4}, keywords = {dblp}, pages = {10-17}, publisher = {IEEE}, timestamp = {2024-04-10T13:14:13.000+0200}, title = {Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2019.html#ZhangZMN19}, year = 2019 }