情報・システム-ディペンダブルコンピューティング(開催日:2002/11/29)

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

,  

[発表日]2002/11/29
[資料番号]
目次

,  

[発表日]2002/11/29
[資料番号]
組合せ論理回路のセルフテスティング性の形式的検証とその並列化

岡本 晋侍,  川久保 和雄,  

[発表日]2002/11/29
[資料番号]DC2002-72
剰余符号の2の補数算術演算への適用

古屋 清,  丸山 耕平,  竹内 直人,  

[発表日]2002/11/29
[資料番号]DC2002-73
フェイルセイフコンピュータ開発の回顧

奥村 幾正,  

[発表日]2002/11/29
[資料番号]DC2002-74
SERVIS-2衛星搭載用自律フォールトトレラント計算機

檜原 弘樹,  山田 一幸,  安達 昌紀,  三谷 健司,  秋山 雅胤,  濱 一守,  

[発表日]2002/11/29
[資料番号]DC2002-75
車上速度照査式ATSの基本仕様検討

福田 光芳,  真部 健一,  佐藤 和敏,  

[発表日]2002/11/29
[資料番号]DC2002-76
鉄道信号の安全性技術の定量的評価方法に関する考察 : 信号技術者へのアンケート調査による定量化

岩田 浩司,  渡辺 郁夫,  平栗 滋人,  平尾 裕司,  中村 英夫,  齊藤 嘉久,  

[発表日]2002/11/29
[資料番号]DC2002-77
鉄道信号の安全向上のアプローチ

平尾 裕司,  渡辺 郁夫,  西堀 典幸,  平栗 滋人,  中村 英夫,  

[発表日]2002/11/29
[資料番号]DC2002-78
[OTHERS]

,  

[発表日]2002/11/29
[資料番号]