Bryan S. Todd

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Bryan S. Todd, David C. Andrews
The Identification of Peaks in Physiological Signals. Comput. Biomed. Res. 32 (4) (1999)
Bryan S. Todd, Richard Stamper
A Formal Model of Explanation. Formal Aspects Comput. 7 (2) (1995)
Bryan S. Todd, Richard Stamper
Formal Specification of a Rule-Based Expert System. SEKE (1992)
Richard Stamper, Bryan S. Todd, P. M. MacPherson
A Software Engineering Approach to the Design of a Medical Expert System. SEKE (1992)