文献

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)

タイトルに関連する用語 (3件)： 仕様 ,  検査 ,  モデル