Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update

Research on Specification and Verification Methodsof Real-Time Discrete Event System

Wang Bei Wu Zhiming(Department of Automation,Shanghai Jiaotong University)  
According to the specification and verification of a discrete event system kinds of formal methods are presented.And the time factor is brought into these methods to solve the realtime specification problem of realtime discrete event system.Although these realtime formal methods were proposed from different aspects,there exists internal connections between them.The results of the research on these connections are given,which provide theoretical basis for the effective use of these formal methods.
【CateGory Index】: TP301,
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
Chinese Journal Full-text Database 10 Hits
1 Zhang Guangquan (Dept.of Mathematics and Computer Science,Chongqing Teachers College,Chongqing,400047);A Quantitative Temporal Logic Approach to the Specification of Real Time Systems[J];JOURNAL OF CHONGQING TEACHERS COLLEGE(NATURAL SCIENCE EDITION);1999-02
2 Gu Tianlong (Dept. of Computer ,Guilin 541004,China);Formal Methods and Their Applications in Industry:A Retrospective and Prospective Review[J];Journal of Guilin Institute of Electronic Technology;2000-04
3 Hu Heping Dept. of Computer Sci. & Eng., Wuhan 430074, China. Huang Liqin Wang Tao;Matching Description of Reusable Components of Software Based on Hoare Logic[J];JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY;1997-10
4 DONG Wei, WANG Ji, and QI Zhi-Chang (School of Computer Science, National University of Defense Technology, Changsha 410073);MODEL CHECKING FOR CONCURRENT AND REAL-TIME SYSTEMS[J];Journal of Computer Research and Development;2001-06
5 QUAN Bing Zhe JIN Chun Zhao (Department of Computer Science, Jilin University, Changchun 130023) XUAN Shun Ji (Department of Computer Science, Jilin University of Technology, Changchun 130025);ON TYPE THEORY FOR OBJECT ORIENTED PROGRAMMING[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-10
6 ;论结构化方法与形式化方法的结合[J];Computer Science;1995-01
7 Wang Jiaxin;Temporal Model with Uncertainty Representation[J];Computer Science;1995-06
8 ;The Specification and Verification of the Temporal Logic of Action (TLA) for Concurrent Systems[J];Computer Science;1997-06
9 ;Formal Methods in Software Development[J];Computer Science;1997-06
10 ZHAO Chen(Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080);The Completeness and Consistency of Temporal Specifications for the Multimedia Program[J];CHINESE JOURNAL OF COMPUTERS;2000-07
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved