Art
J-GLOBAL ID：200902184214196307   Reference number：97A0711269

The Model Checker SPIN.

モデルチェッカSPIN
Author (1)：
HOLZMANN G J

About HOLZMANN G J

(Bell Lab., NJ)

About Bell Lab., NJ


Material：
IEEE Transactions on Software Engineering  (IEEE Trans Softw Eng)

About IEEE Transactions on Software Engineering


Volume： 23  Issue： 5  Page： 279-295  Publication year： May. 1997 
JST Material Number： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  Document type： Article
Article type： 文献レビュー  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
program verification

About program verification

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0711269&from=J-GLOBAL&jstjournalNo=D0480D") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
モデル

About モデル

, 
チェッカ

About チェッカ

, 
SPIN

About SPIN


Return to Previous Page

TOP

BOTTOM