Fingerprint
Dive into the research topics of 'Verification model translation method toward behavior model for CAST'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 proceeding › Conference contribution
2
Citations
(Scopus)