![]() | ![]() |
1996 | ||
---|---|---|
3 | EE | William E. Howden, G. M. Shi: Linear and Structural Event Sequence Analysis. ISSTA 1996: 98-106 |
1995 | ||
2 | EE | William E. Howden, G. M. Shi: Temporal Event Analysis and Program Understanding. COMPSAC 1995: 4-11 |
1990 | ||
1 | G. M. Shi, I. Miyamoto: Toward Verification and Validation of Software Requirements. SEKE 1990: 251-259 |
1 | William E. Howden | [2] [3] |
2 | I. Miyamoto | [1] |