QQ客服 官方微博 反馈留言

	Formal modelling of list based dynamic memory allocators
	Fang, Bin[1]; Sighireanu, Mihaela[2]; Pu, Geguang[3]; Su, Wen[4]; Abrial, Jean-Raymond[5]; Yang, Mengfei[6]; Qiao, Lei[7]
刊名	SCIENCE CHINA-INFORMATION SCIENCES
	2018
卷号	61
关键词	dynamic memory allocators formal methods refinement Event-B Rodin model-based design
ISSN号	1674-733X
URL标识	查看原文
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/2169519
专题	上海大学
作者单位	1.East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 2.Univ Paris Diderot, IRIF, F-75013 Paris, France. 3.CNRS, F-75013 Paris, France. 4.Shanghai Univ, Sch Comp Engn & Sci, Shanghai 200062, Peoples R China. 5.Beijing Inst Control Engn, Beijing 100036, Peoples R China. 6.East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China. 7.Sighireanu, M , Univ Paris Diderot, IRIF, F-75013 Paris, France. 8.Sighireanu, M , CNRS, F-75013 Paris, France.
推荐引用方式 GB/T 7714	Fang, Bin[1],Sighireanu, Mihaela[2],Pu, Geguang[3],et al. Formal modelling of list based dynamic memory allocators[J]. SCIENCE CHINA-INFORMATION SCIENCES,2018,61.
APA	Fang, Bin[1].,Sighireanu, Mihaela[2].,Pu, Geguang[3].,Su, Wen[4].,Abrial, Jean-Raymond[5].,...&Qiao, Lei[7].(2018).Formal modelling of list based dynamic memory allocators.SCIENCE CHINA-INFORMATION SCIENCES,61.
MLA	Fang, Bin[1],et al."Formal modelling of list based dynamic memory allocators".SCIENCE CHINA-INFORMATION SCIENCES 61(2018).

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。