English  |  正體中文  |  简体中文  |  Items with full text/Total items : 62805/95882 (66%)
Visitors : 3979152      Online Users : 427
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: https://tkuir.lib.tku.edu.tw/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:[Graduate Institute & Department of Computer Science and Information Engineering] Research Paper

    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