Eighth IEEE International Symposium on High Assurance Systems Engineering : proceedings : 25-26 March 2004, Tampa, Florida
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing (TCDP), The National Institute for Systems Test and Productivity, University of South Florida
IEEE Computer Society, c2004
HASE 2004
8th IEEE International Symposium on High Assurance Systems Engineering
"IEEE Computer Society order number P2094"--T.p. verso
Includes bibliographic references and index