文献
J-GLOBAL ID:201402206032649563
整理番号:14A0565835
際どい実行順序を考慮した並行システム検証に関する考察
A discussion on the verification of concurrent systems for considering critical execution order
著者 (3件):
CHANG Han-Myung
(南山大 情報理工)
,
沢田篤史
(南山大 情報理工)
,
野呂昌満
(南山大 情報理工)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
113
号:
497(CPSY2013 105-121)
ページ:
43-48
発行年:
2014年03月08日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)