文献
J-GLOBAL ID：200902228803232736   整理番号：06A0619344

コントローラエリアネットワーク用クロック同期プロトコルをモデル化し,検証するためのUPPAALの使用

Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network
著者 (3件)：
RODRIGUEZ-NAVAS Guillermo

RODRIGUEZ-NAVAS Guillermo について

(Univ. Illes Balears, ESP)

Univ. Illes Balears, ESP について

, 
PROENZA Julian

PROENZA Julian について

(Univ. Illes Balears, ESP)

Univ. Illes Balears, ESP について

, 
HANSSON Hans

HANSSON Hans について

(Maelardalen Univ., SWE)

Maelardalen Univ., SWE について


資料名：
Proceedings. IEEE International Conference on Emerging Technologies and Factory Automation  (Proceedings. IEEE International Conference on Emerging Technologies and Factory Automation)

Proceedings. IEEE International Conference on Emerging Technologies and Factory Automation について


巻： 10th  号： Vol.2,Pt.1  ページ： 495-502  発行年： 2005年 
JST資料番号： W1236A  ISSN： 1946-0740  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
UPPAALモデル検査装置により,先に提案したコントローラエ...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
通信制御

通信制御 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
クロック周波数

クロック周波数 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0619344&from=J-GLOBAL&jstjournalNo=W1236A") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算機網 
(JC03000K)

計算機網 について

タイトルに関連する用語 (5件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
コントローラエリアネットワーク

コントローラエリアネットワーク について

, 
クロック同期

クロック同期 について

, 
プロトコル

プロトコル について

, 
モデル化

モデル化 について

, 
検証

検証 について


前のページに戻る

TOP

BOTTOM