細谷 伊知郎

Embedded System Resource Scheduling Design and Checking Method and Tool

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