Session 3: Industry Perspectives on Formal Methods

C. Michael Holloway, Chair


o Scott French, Loral ATC (Slides unavailable)

o Steve Miller, Rockwell-Collins

o Joe Profeta, Union Switch & Signal (Slides unavailable)

o Lance Sherry, Honeywell (These print OK, but do not preview in some previewers)