Yasutaka Michiura

Reference Model of specifications toward Independent Verification and Validation

Akira Fukuda, Kenji Hisazumi, Takahiro Ando, 2015, TENCON 2015 - 2015 IEEE Region 10 Conference.

Verification Model Translation Method toward Behavior Model for CAST

Akira Fukuda, Bo Wang, Kenji Hisazumi, 2018, 2018 5th International Conference on Dependable Systems and Their Applications (DSA).

Functional safety analysis of SAE conditional driving automation in time-critical situations and proposals for its feasibility

Tetsuo Sawaragi, Takayuki Hirose, Yasutaka Michiura, 2020, Cognition, Technology & Work.