Embedded Deduction with ICS Download pdf Presented as part of the 2003 HCSS conference. Tags: SRI International Industry Presentation HCSS '03 HCSS 2003 License: CC-2.5 Submitted by Anonymous on Mon, 09/12/2011 - 13:10