 | 2008 |
|---|
| 6 |       | Xinhong Hei,
Sei Takahashi,
Hideo Nakamura:
Toward developing a Decentralized Railway Signalling System Using Petri Nets.
RAM 2008: 851-855 |
| 2001 |
|---|
| 5 | | Sei Takahashi,
Munehisa Taira,
Hidetaka Saegusa,
Takehiko Hoshino,
Hideo Nakamura:
Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature.
PRDC 2001: 191-198 |
| 4 | | Shigeto Hiraguri,
Noriyuki Nishibori,
Yasuko Hidaka,
Takayuki Kasai,
Hideo Nakamura:
Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System.
PRDC 2001: 375-378 |
| 1992 |
|---|
| 3 |  | Hideo Nakamura,
Kiyoshi Takeshi:
Fault-Tolerant Microcomputer Design and Application for Railway Train Control.
IFIP Congress (1) 1992: 652-658 |
| 1987 |
|---|
| 2 | | Naoshi Uchihira,
Kazunori Matsumoto,
Shinichi Honiden,
Hideo Nakamura:
MENDELS: Concurrent Program Synthesis System Using Temporal Logic.
LP 1987: 50-68 |
| 1980 |
|---|
| 1 | | Tsuneo Funabashi,
Katsuaki Takagi,
Toshiro Tsukada,
Hideo Nakamura,
Michio Hara:
An NMOS Microcomputer Peripheral Interface Unit Incorporating an Analog-to-Digital Converter.
IEEE Trans. Computers 29(2): 102-107 (1980) |
