We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 15 Issue 5
September  2000
Turn off MathJax
Article Contents
Related Articles
ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5).
Citation: ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5).
shu

Checking Timed Automata for Linear Duration Properties

More Information
  • Published Date: September 09, 2000
    Abstract
    • FullText(HTML)
    • References (0)
    • Relative Articles

  • Related Articles

    [1]Riadh Robbana. Verification of Duration Systems Using an Approximation Approach[J]. Journal of Computer Science and Technology, 2003, 18(2).
    [2]LI Yong, Dang Van Hung. Checking Temporal Duration Properties of Timed Automata[J]. Journal of Computer Science and Technology, 2002, 17(6).
    [3]LI Xuandong, TAN Wenkai, ZHENG Guoliang. Checking MSC Specifications for Timing Inconsistency[J]. Journal of Computer Science and Technology, 2002, 17(1).
    [4]LI Li. Towards a Denotational Semantics of Timed RSL Using Duration Calculus[J]. Journal of Computer Science and Technology, 2001, 16(1).
    [5]LI Xuandong. Verifying Time Petri Nets by Linear Programming[J]. Journal of Computer Science and Technology, 2001, 16(1).
    [6]ZHAO Jianhua. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5): 423-429.
    [7]Luo Tiegeng, Chen Huowang, Wang Bingshan, Wang Ji, Gong Zhenghu, Qi Zhichang. Verifying Automata Specification of Distributed Probabilistic Real-Time Systems[J]. Journal of Computer Science and Technology, 1998, 13(6): 588-596.
    [8]Yu Huiqun, Song Guoxin, Sun Yongqiang. Completeness of the Accumulation Calculus[J]. Journal of Computer Science and Technology, 1998, 13(1): 25-31.
    [9]Li Weihua, Yuan Youguang. Error Recovery in a Real-Time Multiprocessor System[J]. Journal of Computer Science and Technology, 1992, 7(1): 83-87.
    [10]Duan Ping, Cai Xiyao. A Real-Time Interprocessor Synchronization Algorithm for Communication in Distributed Computer Systems[J]. Journal of Computer Science and Technology, 1987, 2(4): 292-302.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (14) PDF downloads (1451) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return