发明名称 Using Symbolic Evaluation to Validate Models that have Incomplete Information
摘要
申请公布号 EP1480125(A3) 申请公布日期 2006.12.27
申请号 EP20040102226 申请日期 2004.05.19
申请人 AT&T CORP. 发明人 HALL, ROBERT
分类号 G06F11/00;G06F17/50;H04L12/24 主分类号 G06F11/00
代理机构 代理人
主权项
地址