NAKAMURA Hideo | Nihon University
スポンサーリンク
概要
関連著者
-
NAKAMURA Hideo
Nihon University
-
Takahashi Sei
Nihon University
-
Xie Guo
Nihon University
-
Hirao Y
Univ. Tokushima Tokushima Jpn
-
Hirao Yuji
Signalling And Telecommunications Technology Division Railway Technical Research Institute
-
Sato Kazutoshi
Railway Technical Res. Inst. Kokubunji
-
Nakamura Hideo
Computer Science Graduate Course Graduate School Of Science And Technology Nihon University
-
HIRAGURI Shigeto
Signalling and Telecommunications Technology Division, Railway Technical Research Institute
-
WATANABE Ikuo
Signalling and Telecommunications Technology Division, Railway Technical Research Institute
-
IWATA Koji
Signalling and Telecommunications Technology Div. Railway Technical Research Institute
-
SAITO Yoshihisa
Kyosan Electric Mfg. Co., Ltd.
-
Hirao Y
Nationl Agricultural Res. Organization Iwate Jpn
-
IWATA Koji
Railway Technical Research Institute
-
FUKUDA Mitsuyoshi
Railway Technical Research Institute
-
Hei Xinhong
Nihon University
-
TAKAHASHI Sei
Computer Science Graduate Course, Graduate School of Science and Technology, Nihon University
-
Saito Yoshihisa
Kyosan Electric Mfg. Co. Ltd.
-
Hei Xinhong
School Of Computer Science And Technology Xi'an University Of Technology
-
Takahashi Sei
Department Of Electronics And Computer Science Nihon University
-
Hiraguri Shigeto
Signalling And Telecommunications Technology Division Railway Technical Research Institute
-
Watanabe Ikuo
Signalling And Telecommunications Technology Division Railway Technical Research Institute
-
SAITO Yoshihisa
Kyosan Electric Manufacturing Co., Ltd.
著作論文
- [4-1]Modeling and performance evaluation strategy of component-based distributed railway interlocking system(Report of 19th Autumnal Reliability Symposium)
- B304 Study on Quantitative Evaluation Methods for Safety of Railway Signalling Systems
- Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML
- Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML