ADVANCED SYMBOLIC ANALYSIS TOOLS FOR FAULT-TOLERANT INTEGRATED DISTRIBUTED SYSTEMS AVIONICS APPLICATIONS ARE INCREASINGLY BUILT USING GENERIC PLATFOR

Sri International, Menlo Park CA

Investigators