充広松本

发表

1B-4 Design and development of state transition matrix model checking tool Garakabu2.

Akira Fukuda, Masahiko Watanabe, Weiqiang Kong, 2010 .

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 .

Embedded System Resource Scheduling Design and Checking Method and Tool

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