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] |