发明名称 A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL
摘要
申请公布号 EP1064601(A2) 申请公布日期 2001.01.03
申请号 EP19990911631 申请日期 1999.03.26
申请人 IAR SYSTEMS A/S 发明人 LEERBERG, HENRIK;HULGAARD, HENRIK;LIND-NIELSEN, JORN, BO;ANDERSEN, HENRIK, REIF;LARSEN, KIM, GULDSTRAND;KRISTOFFERSEN, KARE, JELLING;BEHRMANN, GERD
分类号 G06F11/36;(IPC1-7):G06F11/00;G06F17/50 主分类号 G06F11/36
代理机构 代理人
主权项
地址