文献
J-GLOBAL ID：201202251140321656   整理番号：12A1461458

伝達コミットメント:モデル検査および計算量解析

Communicative commitments: Model checking and complexity analysis
著者 (4件)：
BENTAHAR Jamal

BENTAHAR Jamal について

(Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ...)

Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ... について

, 
EL-MENSHAWY Mohamed

EL-MENSHAWY Mohamed について

(Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ...)

Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ... について

, 
QU Hongyang

QU Hongyang について

(Oxford Univ., Dep. of Computer Sci., Wolfson Building, Parks Road, Oxford, GBR)

Oxford Univ., Dep. of Computer Sci., Wolfson Building, Parks Road, Oxford, GBR について

, 
DSSOULI Rachida

DSSOULI Rachida について

(Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ...)

Concordia Univ., Fac. of Engineering and Computer Sci., Concordia Inst. for Information Systems Engineering, EV ... について


資料名：
Knowledge-Based Systems  (Knowledge-Based Systems)

Knowledge-Based Systems について


巻： 35  ページ： 21-34  発行年： 2012年11月 
JST資料番号： T0426A  ISSN： 0950-7051  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
コミットメント

コミットメント について

, 
モデル検査

モデル検査 について

, 
計算量解析

計算量解析 について


前のページに戻る

TOP

BOTTOM