Verification Model Translation Method toward Behavior Model for CAST
2018 5th International Conference on Dependable Systems and Their Applications (DSA) (2018) - Comments
doi: 10.1109/dsa.2018.00032 

Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto