Verification Model Translation Method toward Behavior Model for CAST

Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto. Verification Model Translation Method toward Behavior Model for CAST. In 5th International Conference on Dependable Systems and Their Applications, DSA 2018, Dalian, China, September 22-23, 2018. pages 142-147, IEEE, 2018. [doi]

Abstract

Abstract is missing.