in HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, ISSN: 1530-2059
Pages: 379-380 (2)
Conference
10Th Ieee International Symposium on High Assurance Systems Engineering, Date: NOV 14-16, 2007, Location: Dallas, TX, Sponsors: IEEE Comp Soc, Host: Univ Texas