首页期刊浏览 2024年11月05日星期二

登录注册

全文

	有本地全文	2篇
	有全文链接	1篇

出版年度

	2018	1篇
	2017	2篇

作者

	Minsoo Ryu	3篇
	Shakaiba Majeed	3篇
	Kashif Hameed	2篇
	Kashif Saghar	2篇

来源期刊

	Journal of Computers	1篇
	Journal of Software	1篇
	Scientific Programming	1篇

学科主题

	程序设计、软件工程	1篇
	计算技术、计算机技术	1篇
	计算机软件	1篇

语种

英文

3篇

国别/地区

	芬兰	2篇
	英国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Minsoo Ryu")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Debugging Nondeterministic Failures in Linux Programs through Replay Analysis

作　　者：Shakaiba Majeed ;Minsoo Ryu

出　　处：Scientific Programming. 2018 ;2018.doi:10.1155/2018/8939027

出版社：Hindawi Publishing Corporation

文章 ID：212878696

文章详细全文下载
2.Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder

作　　者：Shakaiba Majeed ;Kashif Saghar ;Kashif Hameed 等

出　　处：Journal of Software. 2017 ;12(4):253-264.doi:10.17706/jsw.12.4.253-264

出版社：Academy Publisher

文章 ID：264868087

文章详细全文下载
3.Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder

作　　者：Shakaiba Majeed ;Kashif Saghar ;Kashif Hameed 等

出　　处：Journal of Computers. 2017 ;12(4):253-264.doi:10.17706/jsw.12.4.253-264

出版社：Academy Publisher

文章 ID：1021393593

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有