![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Yih-Feng Hwang, David C. Rine: Verification framework and algorithms for integrating information distribution systems. Information & Software Technology 48(9): 876-889 (2006) |
1998 | ||
1 | Yih-Feng Hwang, David C. Rine: Verifying the Reusability of Software Component Specifications: Framework and Algorithms. Inf. Sci. 112(1-4): 169-197 (1998) |
1 | David C. Rine | [1] [2] |