Opening book details…
About this Engineering article
A Method of Program Synthesis for Failsafe Interlocking Devices in Railway Signaling by I. Okumura is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- I. Okumura
- Publisher
- John Wiley and Sons; Wiley (John Wiley & Sons); John Wiley & Sons Inc.; Wiley (ISSN 0424-7760)
- Published
- 1974
- Language
- EN
- Field
- Engineering (Physical Sciences)