Kazutoshi Sato

4-1 Modeling and performance evaluation strategy of component-based distributed railway interlocking system

Hideo Nakamura, Xinhong Hei, Sei Takahashi, 2006 .

A development strategy for component-based distributed railway interlocking system

Hideo Nakamura, Xinhong Hei, Sei Takahashi, 2006 .

Improving Reliability of Railway Interlocking System with Component-based Technology (特集 情報システムの信頼性・保全性)

Hideo Nakamura, Xinhong Hei, Sei Takahashi, 2006 .

Toward development of distributed railway interlocking system (ディペンダブルコンピューティング)

Hideo Nakamura, Xinhong Hei, Sei Takahashi, 2007 .

A formal safety framework of component-based distributed railway interlocking system

Hideo Nakamura, Xinhong Hei, Sei Takahashi, 2006 .