![]() | ![]() |
1996 | ||
---|---|---|
3 | EE | Kenneth D. Shere: High Assurance Systems Engineering - Position Paper. COMPSAC 1996: 397- |
1994 | ||
2 | Kenneth D. Shere, Rachelle A. Carlson: A Methodology for Design, Test, and Evaluation of Real-Time Systems. IEEE Computer 27(2): 35-48 (1994) | |
1974 | ||
1 | Kenneth D. Shere: The Complex Method for Constrained Optimization (Remark on Algorithm 454). Commun. ACM 17(8): 471 (1974) |
1 | Rachelle A. Carlson | [2] |