Verification Model Translation Method toward Behavior Model for CAST - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Takahiro Ando' in GoogleThis author has not been identified. Look up 'Bo Wang' in GoogleThis author has not been identified. Look up 'Kenji Hisazumi' in GoogleThis author has not been identified. Look up 'Weiqiang Kong' in GoogleThis author has not been identified. Look up 'Akira Fukuda' in GoogleThis author has not been identified. Look up 'Yasutaka Michiura' in GoogleThis author has not been identified. Look up 'Keita Sakemi' in GoogleThis author has not been identified. Look up 'Michihiro Matsumoto' in Google

runs on WebDSL