Frederick Pearce

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert
Introductory paper. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)