記号モデル検査の並行ソフトウェアシステムへの応用

土屋, 達弘; 菊野, 亨

2004, 303-308

アクセス数:546件（2025-11-04 02:04 集計）

固定URL: https://hdl.handle.net/11094/51107

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
17th_worshop_CS_303	pdf	なし	387 KB	167	2015.02.02	出版社版/publisher

タイトル	記号モデル検査の並行ソフトウェアシステムへの応用
	Symbolic Model Checking Concurrent Software Systems
	キゴウ　モデル　ケンサ　ノ　ヘイコウ　ソフトウェア　システム　ヘノ　オウヨウ
著者	NRID 1000030283740 1000030283740 ORCID 0000-0002-3329-9235 0000-0002-3329-9235 researchmap permalink tatsuhirotsuchiya72 tatsuhirotsuchiya72 Scopus Author ID 7403030658 7403030658 著者名土屋, 達弘 ; ツチヤ, タツヒロ ; Tsuchiya, Tatsuhiro
著者	NRID 1000050093745 1000050093745 著者名菊野, 亨 ; キクノ, トオル ; Kikuno, Tohru
内容	第17回回路とシステム軽井沢ワークショップ論文集
内容	The 17th Workshop on Circuits and Systems in Karuizawa. April 26. 27. 2004
出版者	電子情報通信学会
	デンシ　ジョウホウ　ツウシン　ガッカイ
	The Institute of Electronics, Information and Communication Engineers
ページ	303-308
刊行年月	2004-04
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/51107
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DC.title	記号モデル検査の並行ソフトウェアシステムへの応用
	Symbolic Model Checking Concurrent Software Systems
	キゴウ　モデル　ケンサ　ノ　ヘイコウ　ソフトウェア　システム　ヘノ　オウヨウ
DC.creator	土屋, 達弘
	ツチヤ, タツヒロ
	Tsuchiya, Tatsuhiro
	菊野, 亨
	キクノ, トオル
	Kikuno, Tohru
DC.publisher	電子情報通信学会
	デンシ　ジョウホウ　ツウシン　ガッカイ
	The Institute of Electronics, Information and Communication Engineers
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2004-04
DC.description	第17回回路とシステム軽井沢ワークショップ論文集
DC.description	The 17th Workshop on Circuits and Systems in Karuizawa. April 26. 27. 2004
DC.format	51107
citation_title	記号モデル検査の並行ソフトウェアシステムへの応用
citation_author	土屋, 達弘
citation_author	菊野, 亨
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2004-04
citation_firstpage	303
citation_lastpage	308
citation_public_url	https://hdl.handle.net/11094/51107