Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
    • Projects
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
  2. 數理科學組
  3. 資訊科學研究所
Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/36758
Title: OVL Assertion-Checking of Embedded Softwares with Dense-Time Semantics
Authors: Farn Wang
Fang Yu
Issue Date: 2002
Related Publication(s): 技術報告(資訊所)
Relation: TR-IIS-02-011
URI: http://ir.sinica.edu.tw/handle/201000000A/36758
URL: https://www.iis.sinica.edu.tw/file/entry/10061/FULLTEXT/zh/tr02011.pdf
https://www.iis.sinica.edu.tw/zh/page/Library/TechReport/2002.html
Appears in Collections:資訊科學研究所

Show full item record

Page view(s)

73
Last Week
3
Last month
0
checked on May 14, 2025

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Explore by
  • Academic & Publications
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback