发明名称 AUTOMATED VALIDATION AND VERIFICATION OF COMPUTER SOFTWARE
摘要
申请公布号 IL135263(D0) 申请公布日期 2001.05.20
申请号 IL19980135263 申请日期 1998.09.24
申请人 HONEYWELL INC. 发明人
分类号 G06F11/28;G06F11/36;(IPC1-7):G06F 主分类号 G06F11/28
代理机构 代理人
主权项
地址