ASIA unversity:Item 310904400/7323
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 90570/105786 (86%)
造访人次 : 16304938      在线人数 : 276
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/7323


    题名: A New Compositional Method for Condensed State Space Verification
    作者: Jeffrey J. P. Tsai;E. Juan and T. Murata
    日期: 1996-10
    上传时间: 2010-01-29 13:54:46 (UTC+8)
    出版者: Asia University
    關聯: Proceedings of IEEE High-Assurance Systems Engineering, Ontario, Canada
    显示于类别:[生物資訊與醫學工程學系 ] 會議論文

    文件中的档案:

    没有与此文件相关的档案.



    在ASIAIR中所有的数据项都受到原著作权保护.


    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈