Formal Analysis for Automatic Train Operation System and Research on Diagnosis of Anomalies

Author(s):  
Ruijun You ◽  
Kaicheng Li ◽  
Yu Liu ◽  
Zhen Xu
2019 ◽  
Vol 139 (6) ◽  
pp. 580-587
Author(s):  
Shoichiro Watanabe ◽  
Yasuhiro Sato ◽  
Takafumi Koseki ◽  
Takeshi Mizuma ◽  
Ryuji Tanaka ◽  
...  

2020 ◽  
Vol 9 (2) ◽  
pp. 193-200
Author(s):  
Shoichiro Watanabe ◽  
Yasuhiro Sato ◽  
Takafumi Koseki ◽  
Takeshi Mizuma ◽  
Ryuji Tanaka ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document