![]() | ![]() |
1998 | ||
---|---|---|
2 | EE | Harumi Watanabe, Hiroki Tokuoka, Wenxin Wu, Motoshi Saeki: A Technique for Analyzing and Testing Object-Oriented Software Using Colored Petri Nets. APSEC 1998: 182- |
1995 | ||
1 | EE | Harumi Watanabe, Tomohiro Kudoh: Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets. APSEC 1995: 242- |
1 | Tomohiro Kudoh | [1] |
2 | Motoshi Saeki | [2] |
3 | Hiroki Tokuoka | [2] |
4 | Wenxin Wu | [2] |