发明名称 Verfahren und Vorrichtung zum Testen von ereignisgesteuerten Programmen
摘要
申请公布号 DE69900810(T2) 申请公布日期 2002.08.29
申请号 DE19996000810T 申请日期 1999.12.07
申请人 LUCENT TECHNOLOGIES INC., MURRAY HILL 发明人 HOLZMANN, GERARD JOAN;LANE THOMPSON, KENNETH;WINTERBOTTOM, PHILIP STEVEN
分类号 G06F11/28;G06F9/45;G06F11/36;(IPC1-7):G06F11/00 主分类号 G06F11/28
代理机构 代理人
主权项
地址