Presents papers from the June 1996 symposium. Sessions cover the latest information in fault tolerance, formal verification methods, scheduling theory, CASE tools and environments, compiler and programming language support, timing analysis, database technology, artificial intelligence, operating system support, communication protocols, and multiprocessor systems. No index. Annotation c. by Book News, Inc., Portland, Or.
