| |
| 2005 | ||
|---|---|---|
| 1 | EE | Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori: Incremental Design of a State Machine Specification for Mobile and Real-Time Systems . AINA 2005: 99-104 |
| 1 | Goichi Itabashi | [1] |
| 2 | Yasushi Kato | [1] |
| 3 | Norio Shiratori | [1] |
| 4 | Kaoru Takahashi | [1] |