Information and Systems-Dependable Computing(Date:2005/12/09)

Presentation
表紙

,  

[Date]2005/12/9
[Paper #]
目次

,  

[Date]2005/12/9
[Paper #]
Enhancement of Reliablity with Stepwise Refinement

Natsuki TERADA,  Kazuhiro TAKAHASHI,  Takahiko OGINO,  

[Date]2005/12/9
[Paper #]DC2005-65
A Modeling Approach of Distributed Interlocking System

Xinhong Hei,  Sei Takahashi,  Hideo Nakamura,  

[Date]2005/12/9
[Paper #]DC2005-66
Application of Reconfigurable System

Kazuyuki SHIGA,  Hiroshi MOCHIZUKI,  Sei TAKAHASHI,  Hideo NAKAMURA,  

[Date]2005/12/9
[Paper #]DC2005-67
Philosophy of Safety Assurance : From Fail-Safe Technology to Safety Authentication

Hideo NAKAMURA,  

[Date]2005/12/9
[Paper #]DC2005-68
STUDY OF SAFETY ANALYSIS OF AUGT

Takeshi MIZUMA,  Tomohiro YAMAGUCHI,  Yoshihisa SAITO,  Masaaki KUWABARA,  

[Date]2005/12/9
[Paper #]DC2005-69
About the measurement reliability by the satellite system such as GPS satellites in the ground movable body

Tomohiro YAMAGUCHI,  Takeshi MIZUMA,  Jun YOSHINAGA,  

[Date]2005/12/9
[Paper #]DC2005-70
Train Control System by Radio Ranging Technology : CBTC moving block train control system by radio ranging overview

Makoto YAGI,  Akira KURITA,  Koichi KAWAUCHI,  Akio TAGUCHI,  

[Date]2005/12/9
[Paper #]DC2005-71
複写される方へ

,  

[Date]2005/12/9
[Paper #]
Notice about Photocopying

,  

[Date]2005/12/9
[Paper #]
奥付

,  

[Date]2005/12/9
[Paper #]