Art
J-GLOBAL ID：200902124774202474   Reference number：97A0483265

Formal Methods: State of the Art and Future Directions.

形式的手法 現状と将来方向
Author (2)：
CLARKE E M

About CLARKE E M

(Carnegie Mellon Univ., PA)

About Carnegie Mellon Univ., PA

, 
WING J M

About WING J M

(Carnegie Mellon Univ., PA)

About Carnegie Mellon Univ., PA


Material：
ACM Computing Surveys  (Survey and Tutorial Journal of the ACM (Association for Computing Machinery))

About ACM Computing Surveys


Volume： 28  Issue： 4  Page： 626-643  Publication year： Dec. 1996 
JST Material Number： E0003B  ISSN： 0360-0300  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.
specification description

About specification description

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

About Computer system development

,  Research and development 
(JA01040I)

About Research and development

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
形式的手法

About 形式的手法

, 
現状

About 現状

, 
将来

About 将来


Return to Previous Page

TOP

BOTTOM