| |
| 2007 | ||
|---|---|---|
| 1 | EE | Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido: A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC 2007: 137-142 |
| 1 | Akira Fukuda | [1] |
| 2 | Shigeyuki Kido | [1] |
| 3 | Michihiro Matsumoto | [1] |
| 4 | Masahiko Watanabe | [1] |
| 5 | Hirokazu Yatsu | [1] |