摘要
Y2002-63133-907 0219532形式检验 ATM 开关模型=Model checking of thefairisle ATM switch fabric using formal check[会,英]/Barakatain,L.& Tahar.S.//2001 IEEE CanadianConference on Electrical and Computer Engineering.Vol.2.—907～912(E)Y2002-63245 02195332001年 IEEE 会议录:电绝缘与电制造及线圈=2001IEEE proceedings:Electrical insulation conference andelectrical marlufacturing & coil winding conference[会,英]/IEEE Dielectrics and Electrical Insulation Soci-ety.—2001.—647P.(E)本会议录收集了于2001年10月16～18日在俄亥俄州 Cincinnati
出处
《电子科技文摘》
2002年第10期9-10,共2页
Sci.& Tech.Abstract
