EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS

被引：0
|
作者：
MELLIARSMITH, PM
机构：
来源：
TEMPORAL LOGIC IN SPECIFICATION | 1989年 / 398卷
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：224 / 242
页数：19
相关论文
共 50 条
  • [1] EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS
    MELLIARSMITH, PM
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 224 - 242
  • [2] An interval logic for real-time system specification
    Mattolini, R
    Nesi, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (03) : 208 - 227
  • [3] A REAL-TIME INTERVAL LOGIC FOR REASONING - ABOUT EXECUTIONS OF REAL-TIME PROGRAMS
    RAZOUK, RR
    GORLICK, MM
    PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ), 1989, 14 : 10 - 19
  • [4] ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
    GOSWAMI, A
    BELL, M
    JOSEPH, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 1 - 20
  • [5] Comments on "An interval logic for real-time system specification"
    Furia, CA
    Morzenti, A
    Pradella, M
    Rossi, MG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 424 - 427
  • [6] A real-time interval logic and its decision procedure
    Ramakrishna, YS
    Dillon, LK
    Moser, LE
    MelliarSmith, PM
    Kutty, G
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 147 - 184
  • [7] Extending the SCR method for real-time systems
    Hong, HS
    Cho, SM
    Cha, SD
    Kwon, YR
    REAL-TIME SYSTEMS, 2001, 20 (01) : 27 - 49
  • [8] Extending the SCR Method for Real-Time Systems
    Hyoung Seok Hong
    Seung Mo Cho
    Sung Deok Cha
    Yong Rae Kwon
    Real-Time Systems, 2001, 20 : 27 - 49
  • [9] Interval logics and their decision procedures .2. A real-time interval logic
    Ramakrishna, YS
    MelliarSmith, PM
    Moser, LE
    Dillon, LK
    Kutty, G
    THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 1 - 46
  • [10] An optimal checkpointing interval for real-time systems
    Karl, H
    Werner, M
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 605 - 612
12345