Keita Sakemi

Analysing Success Cause and Risk Cause of Level Crossing Control System Based on FRAM

Takashi Kunifuji, Akimasa Okada, Satoru Kitamura, 2018 .

Verification Model Translation Method toward Behavior Model for CAST

Akira Fukuda, Bo Wang, Kenji Hisazumi, 2018, 2018 5th International Conference on Dependable Systems and Their Applications (DSA).