Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System.

Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura

Browse the full PRDC paper archive.