What are the Most Critical Challenges to Integrating High Assurance Systems?.

Herbert Hecht What are the Most Critical Challenges to Integrating High Assurance Systems?. 227-230 1999 conf/hase/1999 HASE http://computer.org/proceedings/hase/0418/04180227abs.htm db/conf/hase/hase1999.html#Hecht99