The proceedings from this November, 2000 conference in Albuquerque, New Mexico feature 46 papers by computer scientists working with universities, private compa

This volume contains the conference proceedings of the 2001 6th IEEE International Symposium on High Assurance Systems Engineering.

Recent developments in reliability engineering has become the most challenging and demanding area of research. Modeling and Simulation, along with System Reliab