The 16 papers from the October 1999 conference address collaboration and distribution, representation, performance and trade- off analysis, and the application of formal ...

This volume covers topics including: dependable real-time systems; object-oriented design in complex systems; complex system architecture; and fault management in dependable ...