in 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010 in HASE, ISSN: 1530-2059
Pages: 10-19
Conference
2010 Ieee 12Th International Symposium on High Assurance Systems Engineering, Hase 2010, Date: 3 November 2010 through 4 November 2010, Location: San Jose, CA