Art
J-GLOBAL ID：200902068462380629   Reference number：91A0955952

Temporal Logic-Based Deadlock Analysis For Ada.

Ada用の時間的な論理ベースのデッドロック解析
Author (2)：
KARAM G M

About KARAM G M

(Carleton Univ., ON, CAN)

About Carleton Univ., ON, CAN

, 
BUHR R J A

About BUHR R J A

(Carleton Univ., ON, CAN)

About Carleton Univ., ON, CAN


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

About IEEE Transactions on Software Engineering


Volume： 17  Issue： 10  Page： 1109-1125  Publication year： Oct. 1991 
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.
deadlock

About deadlock

,...
Semi 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.
computational complexity

About computational complexity


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

About Computer system development

,  Operating systems 
(JD03020J)

About Operating systems

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
Ada

About Ada

, 
論理

About 論理

, 
デッドロック

About デッドロック

, 
解析

About 解析


Return to Previous Page

TOP

BOTTOM