1.From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ

作　　者：Jianwen Xiang ;Kazuhiro Ogata ;Weiqiang Kong 等

出　　处：Information and Media Technologies. 2007 ;2(2):448-460.doi:10.11185/imt.2.448

出版社：Information and Media Technologies Editorial Board

文章 ID：103885431

文章详细全文下载
2.Constructor-based Logics

作　　者：Daniel Găină ;Kokichi Futatsugi ;Kazuhiro Ogata

出　　处：Journal of Universal Computer Science. 2012 ;18(16):2204.

出版社：Graz University of Technology and Know-Center

文章 ID：82756800

文章详细全文下载
3.Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method

作　　者：Kazuhiro Ogata ;Kokichi Futatsugi

出　　处：Journal of Universal Computer Science. 2013 ;19(6):771-804.

出版社：Graz University of Technology and Know-Center

文章 ID：186873527

文章详细全文下载
4.Constructor-based Logics

作　　者：Daniel Găină ;Kokichi Futatsugi ;Kazuhiro Ogata

出　　处：Journal of Universal Computer Science. 2012 ;18(16):2204-2233.

出版社：Graz University of Technology and Know-Center

文章 ID：186873875

文章详细
5.Behavioural Coherence in Object-Oriented Algebraic Specification

作　　者：Razvan Diaconescu ;Kokichi Futatsugi

出　　处：Journal of Universal Computer Science. 2000 ;6(1):74-96.

出版社：Graz University of Technology and Know-Center

文章 ID：186875354

文章详细

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

	计算技术、计算机技术	4篇
	信息与知识传播	1篇

	英文	4篇
	日文	1篇

	奥地利	4篇
	日本	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Kokichi Futatsugi")))) )) ) )"

	Kokichi Futatsugi	5篇
	Kazuhiro Ogata	4篇
	Daniel Găină	2篇
	Jianwen Xiang	1篇
	Razvan Diaconescu	1篇

	Journal of Universal Computer Science	4篇
	Information and Media Technologies	1篇

	2013	1篇
	2012	2篇
	2007	1篇
	2000	1篇