English  |  正體中文  |  简体中文  |  Items with full text/Total items : 93288/109022 (86%)
Visitors : 20964927      Online Users : 189
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
    HomeLoginUploadHelpAboutAdminister Goto mobile version

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

    Title: Incremental Verification of Architecture Specification Language for Real-Time Systems
    Authors: Jeffrey J. P. Tsai;A. P. Sistla and Avinash Sahay
    Date: 1997-02
    Issue Date: 2010-01-29 13:54:51 (UTC+8)
    Publisher: Asia University
    Relation: Proceedings of the 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, Laguna Beach, CA:55-63
    Appears in Collections:[生物資訊與醫學工程學系 ] 會議論文

    Files in This Item:

    File Description SizeFormat

    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