Matsumoto Michihiro

发表

An Embedded Software Development Method using a Simulator

Nakanishi Tsuneo, Fukuda Akira, 恒夫中西, 2003 .

A Verification Method of Invalid Cells of State Transition Matrices

Fukuda Akira, 直仁山下, Yamashita Naohito, 2005 .

Translation Method for SysML State Machine Diagram into Sequential SPIN Model

Hisazumi Kenji, Ando Takahiro, Fukuda Akira, 2016 .

Embedded System Resource Scheduling Design and Checking Method and Tool

Fukuda Akira, 晃福田, 充広松本, 2007 .