篇名 | Formal modelling of list based dynamic memory allocators | ||
来源期刊 | 中国科学 | 学科 | 地球科学 |
关键词 | dynamic memory allocators formal methods refinement Event-B Rodin model-based design | ||
年,卷(期) | zgkx_2018,(12) | 所属期刊栏目 | |
研究方向 | 页码范围 | 77-92 | |
页数 | 16页 | 分类号 | N |
字数 | 语种 | 中文 | |
DOI |