发明名称 A METHOD FOR SPECIFYING A SYSTEM COMPRISING A PLURALITY OF INTERCONNECTED FUNCTIONAL MODULES EACH REPRESENTING A RESPECTIVE ABSTRACT-STATE BASED MACHINE, AND A SYSTEM SO SPECIFIED
摘要
申请公布号 EP0795148(A1) 申请公布日期 1997.09.17
申请号 EP19960929469 申请日期 1996.09.19
申请人 PHILIPS ELECTRONICS N.V. 发明人 THIJSSEN, PAULUS, THOMAS, ARNOLDUS
分类号 G06F15/16;G05B19/045;G06F9/46;(IPC1-7):G05B19/045 主分类号 G06F15/16
代理机构 代理人
主权项
地址