Specification and automated verification of real-time behaviour - a case study

被引：0
|
作者：
Kristensen, C.H. [1 ]
Andersen, J.H. [1 ]
Skou, A. [1 ]
机构：
[1] Aalborg Univ, Aalborg, Denmark
来源：
Annual Reviews in Control | 1996年 / 20卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：55 / 70
相关论文
共 50 条
  • [41] MULTILEVEL SPECIFICATION OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    FRANKLIN, MK
    COMMUNICATIONS OF THE ACM, 1991, 34 (05) : 50 - 60
  • [42] An overview of the real-time CORBA specification
    Schmidt, DC
    Kuhns, F
    COMPUTER, 2000, 33 (06) : 56 - +
  • [43] SPECIFICATION OF REAL-TIME PROBABILISTIC BEHAVIOR
    FANG, M
    HOSTUART, CJ
    ZEDAN, HSM
    PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 143 - 157
  • [44] SPECIFICATION TECHNIQUES FOR REAL-TIME SYSTEMS
    LUDEWIG, J
    MATHEIS, H
    COMPUTER STANDARDS & INTERFACES, 1987, 6 (01) : 115 - 133
  • [45] The real-time specification for Java']Java
    Bollella, G
    Gosling, J
    COMPUTER, 2000, 33 (06) : 47 - +
  • [46] Specification of real-time interaction constraints
    Nielsen, B
    Ren, SP
    Agha, G
    FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 206 - 214
  • [47] The Real-Time Specification for Java']Java
    Hardin, D
    DR DOBBS JOURNAL, 2000, 25 (02): : 78 - +
  • [48] FORMAL SPECIFICATION OF REAL-TIME SYSTEMS
    GORSKI, J
    COMPUTER PHYSICS COMMUNICATIONS, 1988, 50 (1-2) : 71 - 88
  • [49] Behavioral Specification of Real-time Requirements
    Babamir, Seyed Morteza
    Babamir, Faezeh Sadat
    APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 299 - +
  • [50] Asynchronous event handling and real-time threads in the real-time specification for Java
    Department of Computer Science, University of York, YOlO 5DD, United Kingdom
    Real Time Technol Appl Proc, (81-89):
12345