Information and Systems-Dependable Computing(Date:2010/12/03)

Presentation
表紙

,  

[Date]2010/12/3
[Paper #]
目次

,  

[Date]2010/12/3
[Paper #]
Magneticfield measurements in case of international standards for railway

Toshihiro TAKEUCHI,  Korefumi TASHIRO,  Jun YOSHINAGA,  Tomonori HASEGAWA,  Takeshi MIZUMA,  

[Date]2010/12/3
[Paper #]DC2010-51
A Study on Dependable Data Logger for Inline Production Management

Masaya OHTA,  Kazumi SAKAMAKI,  Yasuaki KANEDA,  Yasuharu IRIZUKI,  Masanobu YAMAZAKI,  Kazuhiko HORIGOME,  Hiroshi MOCHIZUKI,  Hideo NAKAMURA,  

[Date]2010/12/3
[Paper #]DC2010-52
A class of 1 level error correcting code for multilevel cell flash memories

Kazuya SATO,  Masato KITAKAMI,  

[Date]2010/12/3
[Paper #]DC2010-53
構造化P2Pネットワークの耐故障性に関する考察(安全性及び一般)

Satoshi FUKUMOTO,  Yumeto TERADA,  Masayuki ARAI,  

[Date]2010/12/3
[Paper #]DC2010-54
Design and Implementation of a Distributed Control System for Flexible System Reconfiguration

Yuta TAKEDA,  Hiroshi MOCHIZUKI,  Hideo NAKAMURA,  

[Date]2010/12/3
[Paper #]DC2010-55
Research of Highly Reliable Fail-safe CPU

Yasuo OGAWA,  Akihisa ASAMI,  Hideo NAKAMURA,  

[Date]2010/12/3
[Paper #]DC2010-56
Verification of Automatic Block System for Single Line by Model Checking

Natsuki TERADA,  

[Date]2010/12/3
[Paper #]DC2010-57
A Study to reduce Software Requirements Specification Errors with Checklists for the Railway Signalling Systems

Koji IWATA,  Ikuo WATANABE,  

[Date]2010/12/3
[Paper #]DC2010-58
複写される方へ

,  

[Date]2010/12/3
[Paper #]
奥付

,  

[Date]2010/12/3
[Paper #]
裏表紙

,  

[Date]2010/12/3
[Paper #]