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
研究成果
2
被引用数
(Scopus)