![]() |
| 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] |