1.Sub-Computation Based Transition Predicate Abstraction

作　　者：Carl Christian Frederiksen ;Masami Hagiya

出　　处：Information and Media Technologies. 2007 ;2(3):773-796.doi:10.11185/imt.2.773

出版社：Information and Media Technologies Editorial Board

文章 ID：103885460

文章详细全文下载
2.Modal μ-calculus on Min-plus Algebra N∞

作　　者：Dai Ikarashi ;Yoshinori Tanabe ;Koki Nishizawa 等

出　　处：Information and Media Technologies. 2010 ;5(4):1178-1192.doi:10.11185/imt.5.1178

出版社：Information and Media Technologies Editorial Board

文章 ID：103885804

文章详细全文下载
3.Using Checkpointing and Virtualization for Fault Injection

作　　者：Cyrille Artho ;Kuniyasu Suzaki ;Masami Hagiya 等

出　　处：International Journal of Networking and Computing. 2015 ;5(2):347-372.

出版社：International Journal of Networking and Computing

文章 ID：105440805

文章详细全文下载
4.Software Model Checking of UDP-based Distributed Applications

作　　者：Nazim Sebih ;Masami Hagiya ;Franz Weitl 等

出　　处：International Journal of Networking and Computing. 2015 ;5(2):373-402.

出版社：International Journal of Networking and Computing

文章 ID：105440807

文章详细全文下载
5.Sub-Computation Based Transition Predicate Abstraction

作　　者：Carl Christian Frederiksen ;Masami Hagiya

出　　处：IPSJ Digital Courier. 2007 ;3:380-403.doi:10.2197/ipsjdc.3.380

出版社：Information Processing Society of Japan

文章 ID：194150984

文章详细全文下载

	Mitsuharu Yamamoto	2篇
	Dai Ikarashi	1篇
	Eric Platon	1篇
	Koki Nishizawa	1篇
	Kuniyasu Suzaki	1篇
	Nazim Sebih	1篇
	Richard Potter	1篇
	Watcharin Leungwattanakit	1篇

	信息与知识传播	2篇
	计算技术、计算机技术	2篇
	信息处理（信息加工）	1篇

	日文	3篇
	英文	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Masami Hagiya")))) )) ) )"

	Masami Hagiya	5篇
	Yoshinori Tanabe	3篇
	Carl Christian Frederiksen	2篇
	Cyrille Artho	2篇
	Franz Weitl	2篇

	Information and Media Technologies	2篇
	International Journal of Networking and Computing	2篇
	IPSJ Digital Courier	1篇

	2015	2篇
	2010	1篇
	2007	2篇