English  |  正體中文  |  简体中文  |  Items with full text/Total items : 51510/86705 (59%)
Visitors : 8262534      Online Users : 104
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU 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://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7116


    Title: 反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合
    Other Titles: Integration of Specification for Reactive System and Timed Petri Nets
    Authors: 陳伯榮;陳建源;汪柏;周建群
    Contributors: 淡江大學資訊工程研究所
    Date: 1995
    Issue Date: 2009-03-16 15:42:22 (UTC+8)
    Appears in Collections:[資訊工程學系暨研究所] 研究報告

    Files in This Item:

    There are no files associated with this item.

    All items in 機構典藏 are protected by copyright, with all rights reserved.


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