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

Presentation
表紙

,  

[Date]2003/12/12
[Paper #]
目次

,  

[Date]2003/12/12
[Paper #]
Metaheuristics for Test Generation for Combinatorial Testing

Toshiaki SHIBA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2003/12/12
[Paper #]DC2003-78
A Bounded Model Checking Method based on Quantifier-Free Presburger Arithmetics

Takahiro TANAKA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2003/12/12
[Paper #]DC2003-79
Study on Methods to Verify and Validate the Software of Railway Signalling Systems : Case Study on the Application to COMBAT

Koji IWATA,  Noriyuki NISHIBORI,  Yuji HIRAO,  

[Date]2003/12/12
[Paper #]DC2003-80
Dependable Technique of Train GPS Positioning : Examination of Applicability to Train Control Systems

Haruo YAMAMOTO,  Tomohiro MASUNARI,  Toyoo HASHIMOTO,  

[Date]2003/12/12
[Paper #]DC2003-81
A Note on Reliable Multicast Applying Convolutional Codes over Finite Field

Masayuki ARAI,  Satoshi FUKUMOTO,  Kazuhiko IWASAKI,  

[Date]2003/12/12
[Paper #]DC2003-82
Fault Tolerant Training of Neural Networks for Learning Vector Quantization

Takashi MINOHARA,  

[Date]2003/12/12
[Paper #]DC2003-83
A Computer Cluster in Which Computing Resource Can Be Collected and Provided

Masanori OKANO,  Masato KITAKAMI,  Hideo ITO,  

[Date]2003/12/12
[Paper #]DC2003-84
Autonomous Adaptation for Partial Faults in Space System Using Decentralized Control

Shinichi KIMURA,  

[Date]2003/12/12
[Paper #]DC2003-85
A Study of deriving Railway Signalling System Design through Requirements Analysis

Mitusyoshi FUKUDA,  Ikuo WATANABE,  Natsuki TERADA,  Toshiyuki SHIMAZOE,  Tamio OKUTANI,  

[Date]2003/12/12
[Paper #]DC2003-86
Safety Analysis in Development of Train Control System "COMBAT"

Shigeto HIRAGURI,  Noriyuki NISHIBORI,  Koji IWATA,  Akihisa TOYODA,  

[Date]2003/12/12
[Paper #]DC2003-87
Accident case investigation and risk analysis around the platform

Tomohiro YAMAGUCHI,  Takeshi MIZUMA,  Akira MORISADA,  Masanori YAMAMOTO,  

[Date]2003/12/12
[Paper #]DC2003-88
SAFETY EVALUATION ON IMTS

Takeshi MIZUMA,  

[Date]2003/12/12
[Paper #]DC2003-89
複写される方へ

,  

[Date]2003/12/12
[Paper #]
奥付

,  

[Date]2003/12/12
[Paper #]