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]
No references recorded for this publication.
No citations of this publication recorded.