发明名称 Method of Verification of a Finite State Sequential Machine and Resulting Information Support and Verification Tool
摘要
申请公布号 CA2132691(A1) 申请公布日期 1995.05.03
申请号 CA19942132691 申请日期 1994.09.22
申请人 BULL S.A. 发明人 TAMISIER, THOMAS
分类号 G06F7/00;G06F17/50;G06F19/00;(IPC1-7):G06F15/31 主分类号 G06F7/00
代理机构 代理人
主权项
地址