ASIA unversity:Item 310904400/78049
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 94286/110023 (86%)
Visitors : 21693976      Online Users : 600
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
    •  Adv. Search
    Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer Goto mobile version


    Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/78049


    Title: A Compositional Approach for Modeling and Verification of Component-Based Software Systems
    Authors: 蔡進發;Jeffrey, J.P.Tsai;E.Juan;E.Juan
    Contributors: 生物與醫學資訊學系
    Date: 2000.06
    Issue Date: 2013-12-26 09:42:23 (UTC+0)
    Relation: Proceedings of the NSF/ARL Workshop on Software Evolution
    Appears in Collections:[Department of Biomedical informatics  ] Proceedings

    Files in This Item:

    File SizeFormat
    index.html0KbHTML354View/Open


    All items in ASIAIR are protected by copyright, with all rights reserved.

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