首页期刊浏览 2024年11月08日星期五

登录注册

全文

有本地全文

4篇

出版年度

	2015	1篇
	2014	1篇
	2008	1篇
	2003	1篇

作者

	磯部祥尚	4篇
	ローゲンバッハマーカス	1篇
	吉岡信和	1篇
	大蒔和仁	1篇
	海津智宏	1篇

	田原康之	1篇
	田辺良則	1篇
	鈴木正人	1篇
	長谷川哲夫	1篇

来源期刊

コンピュータソフトウェア

4篇

学科主题

计算技术、计算机技术

4篇

语种

日文

4篇

国别/地区

日本

4篇

检索条件:"( ( 高级检索(( ((AU:(("磯部祥尚")))) )) ) )"

共 4 条记录

排序：全选导出：

1.エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理

作　　者：磯部祥尚 ;大蒔和仁

出　　处：コンピュータソフトウェア. 2003 ;20(5):470-491.doi:10.11309/jssst.20.470

出版社：Japan Society for Software Science and Technology

文章 ID：104502493

文章详细全文下载
2.CSP-Prover — スケーラブルな並行システムの検証のための証明器

作　　者：磯部祥尚 ;ローゲンバッハマーカス

出　　处：コンピュータソフトウェア. 2008 ;25(4):4_85-4_92.doi:10.11309/jssst.25.4_85

出版社：Japan Society for Software Science and Technology

文章 ID：104502749

文章详细全文下载
3.モデル検査による設計検証

作　　者：吉岡信和 ;田辺良則 ;田原康之等

出　　处：コンピュータソフトウェア. 2014 ;31(4):4_40-4_65.doi:10.11309/jssst.31.4_40

出版社：Japan Society for Software Science and Technology

文章 ID：108524823

文章详细全文下载
4.SDVerifier:プロセス代数CSPを用いたシーケンス図検証ツール

作　　者：海津智宏 ;磯部祥尚 ;鈴木正人

出　　处：コンピュータソフトウェア. 2015 ;32(1):1_234-1_252.doi:10.11309/jssst.32.1_234

出版社：Japan Society for Software Science and Technology

文章 ID：108524850

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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