文献

J-GLOBAL ID：200902068462380629   整理番号：91A0955952

Ada用の時間的な論理ベースのデッドロック解析

Temporal Logic-Based Deadlock Analysis For Ada.

著者 (2件)： KARAM G M (Carleton Univ., ON, CAN) ,  BUHR R J A (Carleton Univ., ON, CAN)
資料名： IEEE Transactions on Software Engineering  (IEEE Transactions on Software Engineering)
巻： 17  号： 10  ページ： 1109-1125  発行年： 1991年10月 
JST資料番号： D0480D  ISSN： 0098-5589  CODEN： IESEDJ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Ada用の時間的論理ベース記述言語とデッドロックアナライザに...

シソーラス用語： デッドロック ,...
準シソーラス用語： 計算の複雑さ

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=91A0955952&from=J-GLOBAL&jstjournalNo=D0480D") }}

分類 (2件)： 計算機システム開発  (JD02010R) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (4件)： Ada ,  論理 ,  デッドロック ,  解析