Session 8: Research Issues (1)
C. Michael Holloway, Chair
Safety Analysis
, by
John C. Knight
, University of Virginia
Non-standard Analysis and Embedded Software
, by
Richard Platek
, Odyssey Research Associates