Publisher's Synopsis
Proceedings of a September 2000 conference, with papers arranged in sections on reactive systems, system modeling, network software, systems development, SOFL, testing and verification, communication and control systems, and embedded, concurrent, and distributed systems. Specific topics include cost models for electronic architecture trade studies,