发明名称 PROCEDURE FOR VERIFYING DATA-PROCESSING SYSTEMS.
摘要
申请公布号 EP0580663(B1) 申请公布日期 1995.01.04
申请号 EP19920908193 申请日期 1992.04.07
申请人 SIEMENS AKTIENGESELLSCHAFT 发明人 FILKORN, THOMAS
分类号 G06F17/50;(IPC1-7):G06F15/60 主分类号 G06F17/50
代理机构 代理人
主权项
地址