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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Verification model translation method toward behavior model for CAST'. Together they form a unique fingerprint.

Engineering & Materials Science

Physics & Astronomy