David Arney

	2009
2		David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee: Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. BIODEVICES 2009: 52-60
	2004
1		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. STTT 5(4): 308-319 (2004)

Coauthor Index

1	Stephen Van Albert	[1]
2	Rajeev Alur	[1]
3	Julian M. Goldman	[2]
4	Elsa L. Gunter	[1]
5	Insup Lee	[1] [2]
6	Jaime Lee	[1]
7	Wonhong Nam	[1]
8	Frederick Pearce	[1]
9	Susan F. Whitehead	[2]
10	Jiaxiang Zhou	[1]