2002 | ||
---|---|---|
3 | W. B. Martin, P. D. White, F. S. Taylor: Creating High Confidence in a Separation Kernel. Autom. Softw. Eng. 9(3): 263-284 (2002) | |
2000 | ||
2 | EE | W. B. Martin, P. D. White, W. Mark Vanfleet: Government, industry, and academia: Teaming to design high confidence information security applications. FMSP 2000: 37-47 |
1988 | ||
1 | EE | Forouzan Golshani, W. T. Scott, P. D. White: Languages for intelligent specification systems. ICCL 1988: 304-311 |
1 | Forouzan Golshani | [1] |
2 | W. B. Martin | [2] [3] |
3 | W. T. Scott | [1] |
4 | F. S. Taylor | [3] |
5 | W. Mark Vanfleet | [2] |