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