Get started
Author

Yosuke Kiuchi

Observed name: Y. Kiuchi
Institution: Shizuoka University
Observed institution: Shizuoka University
OpenAlex ID: A5083802816
EVALPSN Based Railway Interlocking Simulator
2004 · Kazumi Nakamatsu, Yosuke Kiuchi, et al. · Lecture notes in computer science · 12
Intelligent railway interlocking safety verification based on annotated logic program and its simulator
2004 · K. Nakamatsu, Y. Kiuchi, et al. · IEEE International Conference on Networking, Sensing and Control (ICNSC) · 7
Intelligent Railway Interlocking Safety on Annotated Logic Program and Verification Based its Simulator
2004 · Kazumi Nakarnatsu, Yosuke Kiuchi
Works count: 3
Citation count: 19
H-index: 2
I10-index: 1
Year
Topic
Type