| |
| 2008 | ||
|---|---|---|
| 2 | Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita: Towards Verifying Declarative Specifications of Reactive Systems. SoMeT 2008: 389-400 | |
| 2006 | ||
| 1 | Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai: Towards Developing Adjustable Software: A Case Study with the Lyee Approach. SoMeT 2006: 423-438 | |
| 1 | Osamu Arai | [1] [2] |
| 2 | Hamido Fujita | [1] [2] |
| 3 | Yutaka Funyu | [1] |
| 4 | Sergei Gorlatch | [1] [2] |
| 5 | Michiru Tanaka | [1] |