文献
J-GLOBAL ID:201202223520597448
整理番号:12A1151097
非同期モデルに基づく試験の複雑性
The complexity of asynchronous model based testing
著者 (1件):
HIERONS Robert M.
(Brunel Univ., Middlesex, GBR)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
451
ページ:
70-82
発行年:
2012年
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)