Showing 1 - 2 results of 2 for search '"Integrated circuits - Verification"', 查询时间: 0.03s Refine Results
  1. 1
    Verification of systems and circuits using LOTOS,Petri Nets, and CCS
    由 Yoeli, Michael
    出版 2008
    主题: “...Integrated circuits - Verification Computer software - Verification LOTOS (computer programmes...”
  2. 2
    Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
    由 Yoeli, Michael
    出版 2008
    主题: “...Integrated circuits - Verification Computer software - Verification LOTOS (computer programmes...”
    Printed Book
检索工具: 得到RSS订阅 — 推荐此搜索