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

土屋, 達弘; 菊野, 亨

2004, 303-308

Number of Access:510（2025-09-03 08:01 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/51107

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
17th_worshop_CS_303 pdf None 387 KB 155 2015.02.02 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

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