文献
J-GLOBAL ID:201902268623350279
整理番号:19A1587984
記号入力と出力を持つ有限状態機械からの試験に向けて【JST・京大機械翻訳】
Toward testing from finite state machines with symbolic inputs and outputs
著者 (1件):
Petrenko Alexandre
(CRIM, Centre de recherche informatique de Montreal, Montreal, QC, Canada)
資料名:
Software and Systems Modeling
(Software and Systems Modeling)
巻:
18
号:
2
ページ:
825-835
発行年:
2019年
JST資料番号:
A1112A
ISSN:
1619-1366
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)