FORMALLY SUPPORTED SAFETY CASES FOR ADAPTIVE SYSTEMSTRADITIONAL, STANDARDS-BASED APPROACHES TO SOFTWARE ASSURANCE (E.G., DO-178B) ARE CHALLENGED BY

Sri International, Menlo Park CA

Investigators