A knowledge-based framework for specification verification of real-time systems
暂无分享,去创建一个
[1] Tin A. Nguyen,et al. Knowledge base verification , 1987 .
[2] Aloysius K. Mok,et al. Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.
[3] James C. Tiernan,et al. An efficient search algorithm to find the elementary circuits of a graph , 1970, CACM.
[4] Hung-Chin Jang,et al. A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis , 1992, IEEE Trans. Software Eng..
[5] Insup Lee,et al. Language Constructs for Distributed Real-Time Programming , 1985, RTSS.
[6] Hung-Chin Jang,et al. A Knowledge-Based Approach for the Specification and Analysis of Real-Time Software Systems , 1992, Int. J. Artif. Intell. Tools.