Keita Sakemi

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).