| |
| 2001 | ||
|---|---|---|
| 1 | Takanori Mori, K. Tokuda, Harumasa Tada, Masahiro Higuchi, Teruo Higashino: A Method to Generate Conformance Test Sequences for FSM with Timer System Call. FORTE 2001: 301-318 | |
| 1 | Teruo Higashino | [1] |
| 2 | Masahiro Higuchi | [1] |
| 3 | Takanori Mori | [1] |
| 4 | Harumasa Tada | [1] |