in Proceedings of IEEE International Symposium on High Assurance Systems Engineering, ISSN: 1530-2059
Pages: 1-8
Conference
13Th Ieee International Symposium on High Assurance Systems Engineering, Hase 2011, Date: 10 November 2011 through 12 November 2011, Location: Boca Raton, FL, Sponsors: IEEE;IEEE Computer Society;IEEE Comput. Soc. Tech. Comm. Distrib. Process.;Florida Atlantic University (FAU);Southeast. Natl. Mar. Renew. Energy Cent. Florida Atlantic Univ.