2010 IEEE 12th International Symposium on High Assurance Systems Engineering
Download PDF

Abstract