1.インタラクティブシステム設計法におけるタスク図の形式的定義と形式的検証への応用

作　　者：池田瑞穂 ;高田喜朗 ;関浩之

出　　处：コンピュータソフトウェア. 2002 ;19(2):99-114.doi:10.11309/jssst.19.99

出版社：Japan Society for Software Science and Technology

文章 ID：104502430

文章详细全文下载
2.An Efficient Security Verification Method for Programs with Stack Inspection

作　　者：新田直也 ;高田喜朗 ;関浩之

出　　处：コンピュータソフトウェア. 2002 ;19(3):176-194.doi:10.11309/jssst.19.176

出版社：Japan Society for Software Science and Technology

文章 ID：104502437

文章详细全文下载
3.拡張プッシュダウンシステムの正則木評価によるLTLモデル検査法

作　　者：新田直也 ;関浩之

出　　处：コンピュータソフトウェア. 2005 ;22(3):3_58-3_75.doi:10.11309/jssst.22.3_58

出版社：Japan Society for Software Science and Technology

文章 ID：104502576

文章详细全文下载
4.XMLアクセス制御における木オートマトンを利用した静的解析

作　　者：八木勲 ;高田喜朗 ;関浩之

出　　处：コンピュータソフトウェア. 2006 ;23(3):3_51-3_65.doi:10.11309/jssst.23.3_51

出版社：Japan Society for Software Science and Technology

文章 ID：104502631

文章详细全文下载
5.『ソフトウェアサイエンスの基本』シリーズ第１回「言語理論の話をしよう」

作　　者：関浩之 ;鯵坂恒夫

出　　处：コンピュータソフトウェア. 2011 ;28(3):3_61-3_69.doi:10.11309/jssst.28.3_61

出版社：Japan Society for Software Science and Technology

文章 ID：104502922

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("関浩之")))) )) ) )"

	関浩之	5篇
	高田喜朗	3篇
	新田直也	2篇
	八木勲	1篇
	池田瑞穂	1篇

	2011	1篇
	2006	1篇
	2005	1篇
	2002	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("関 浩之")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("関浩之")))) )) ) )"