QQ客服 官方微博 反馈留言

	A formal specification in B of an operating system
	Danmin, Chen[1]; Yue, Sun[2]; Zhiguo, Chen[3]
刊名	Open Cybernetics and Systemics Journal
	2015
卷号	9期号:1页码:1125-1129
DOI	http://dx.doi.org/10.2174/1874110X01509011125
URL标识	查看原文
收录类别	EI
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5209779
专题	河南大学
作者单位	[1]School of Software, Henan University, Kaifeng, Henan, 475004, China [2]School of Information Engineering, Kaifeng University, Kaifeng, Henan, 475004, China [3]Institute of Data and Knowledge Engineering, Henan University, Kaifeng, Henan, 475004, China
推荐引用方式 GB/T 7714	Danmin, Chen[1],Yue, Sun[2],Zhiguo, Chen[3]. A formal specification in B of an operating system[J]. Open Cybernetics and Systemics Journal,2015,9(1):1125-1129.
APA	Danmin, Chen[1],Yue, Sun[2],&Zhiguo, Chen[3].(2015).A formal specification in B of an operating system.Open Cybernetics and Systemics Journal,9(1),1125-1129.
MLA	Danmin, Chen[1],et al."A formal specification in B of an operating system".Open Cybernetics and Systemics Journal 9.1(2015):1125-1129.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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