情報・システム-ディペンダブルコンピューティング(開催日：2012/12/07)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2012/12/7
[資料番号]
目次

,  

[発表日]2012/12/7
[資料番号]
Mobile device prediction for location-based cloud service

,  

[発表日]2012/12/7
[資料番号]DC2012-73
転置索引を用いた可逆圧縮データに対する誤り制御(安全性及び一般)

戸山 光平,  北神 正人,  

[発表日]2012/12/7
[資料番号]DC2012-74
CANプロトコルによる車載LANにおける高電磁ノイズ下での耐故障性(安全性及び一般)

根岸 正彦,  サイサナソンカム アロムハック,  新井 雅之,  大原 衛,  福本 聡,  

[発表日]2012/12/7
[資料番号]DC2012-75
系再構成機能を有する分散制御システムの開発(安全性及び一般)

望月 寛,  武田 裕太,  遠山 雄二郎,  

[発表日]2012/12/7
[資料番号]DC2012-76
過剰テスト緩和のためのテスト生成モデルと故障の許容性に基づくテストへの応用(安全性及び一般)

櫻田 正明,  市原 英行,  岩垣 剛,  井上 智生,  

[発表日]2012/12/7
[資料番号]DC2012-77
ATP閉そくシステムにおける形式化と分析の検討(安全性及び一般)

謝 国,  望月 寛,  高橋 聖,  中村 英夫,  

[発表日]2012/12/7
[資料番号]DC2012-78
SMTソルバによる単線自動閉そく装置の検証(安全性及び一般)

寺田 夏樹,  

[発表日]2012/12/7
[資料番号]DC2012-79
複写される方へ

,  

[発表日]2012/12/7
[資料番号]
Notice for photocopying

,  

[発表日]2012/12/7
[資料番号]
奥付

,  

[発表日]2012/12/7
[資料番号]
裏表紙

,  

[発表日]2012/12/7
[資料番号]