文献
J-GLOBAL ID:201302259728861086
整理番号:13A0921242
RAISE適用可能仕様を検査するモデル
Model checking RAISE applicative specifications
著者 (2件):
PERNA Juan I.
(The Univ. of York, Computer Sci. Dep., YO10 5DD, Heslington, York, GBR)
,
GEORGE Chris
(United Nations Univ. International Inst. for SoftwareTechnology, Macao SAR, CHN)
資料名:
Formal Aspects of Computing
(Formal Aspects of Computing)
巻:
25
号:
3
ページ:
365-388
発行年:
2013年05月
JST資料番号:
T0973A
ISSN:
0934-5043
資料種別:
逐次刊行物 (A)
発行国:
ドイツ (DEU)
言語:
英語 (EN)