Real Time Safety ERAU research conducted for the FAA under contract DTFA0301C00048 page 1 Assessment of Software Development Tools for Safety Critical.
© Copyright 2009 Rockwell Collins, Inc. All rights reserved. Formal Methods for Critical Systems Dr. Steven P. Miller Midwest Verification Day September.
Collins Advanced Technology Center / Iowa State University / SEC PM/PI: David Statezni, co-PI: Gary Daugherty, Rockwell Collins Subcontract: Dr. Suresh.
