发明名称 Automatisert validering og verifisering av dataprogramvare
摘要
申请公布号 NO20001481(D0) 申请公布日期 2000.03.22
申请号 NO20000001481 申请日期 2000.03.22
申请人 HONEYWELL INC 发明人 GOOSSEN, EMRAY R.;SHEMA, DAVID K.;LIPPITT, CARL E.
分类号 G06F11/28;G06F11/36;(IPC1-7):G08F 主分类号 G06F11/28
代理机构 代理人
主权项
地址