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 条
  • [41] Linear temporal logic with clocks for verification of real-time systems
    Li, Guang-Yuan
    Tang, Zhi-Song
    Ruan Jian Xue Bao/Journal of Software, 2002, 13 (01): : 33 - 41
  • [42] LOGIC PROGRAMMING FOR REAL-TIME CONTROL OF TELECOMMUNICATION SWITCHING SYSTEMS
    ELSHIEWY, NA
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (1-2): : 121 - 144
  • [43] MODELING TIMED BEHAVIOR IN REAL-TIME SYSTEMS WITH TEMPORAL LOGIC
    PETERS, JF
    RAMANNA, S
    CYBERNETICS AND SYSTEMS, 1991, 22 (05) : 583 - 608
  • [44] Optimizing path real-time logic for unified real-time system
    Xudong Zhu
    Kin Fun Li
    Huiyou Chang
    Soft Computing, 2017, 21 : 3135 - 3145
  • [45] Optimizing path real-time logic for unified real-time system
    Zhu, Xudong
    Li, Kin Fun
    Chang, Huiyou
    SOFT COMPUTING, 2017, 21 (12) : 3135 - 3145
  • [46] Minimal schedulability interval for real-time systems of periodic tasks with offsets
    Choquet-Geniet, A
    Grolleau, E
    THEORETICAL COMPUTER SCIENCE, 2004, 310 (1-3) : 117 - 134
  • [47] Real-time QT interval measurement
    González, R
    Fernández, R
    Raola, MD
    PROCEEDINGS OF THE 22ND ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-4, 2000, 22 : 2288 - 2290
  • [48] On the application of fuzzy logic in the design of supervisors for real-time control systems
    Fernandez, A
    Marcos, M
    Artaza, F
    Iriondo, N
    Orive, D
    REAL TIME PROGRAMMING 1997: (WRTP 97), 1998, : 9 - 14
  • [49] Efficient Verification and Optimization of Real-Time Logic-Specified Systems
    Andrei, Stefan
    Cheng, Albert Mo Kim
    IEEE TRANSACTIONS ON COMPUTERS, 2009, 58 (12) : 1640 - 1653
  • [50] Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems
    Wozna-Szczesniak, Bozena
    Szczesniak, Ireneusz
    DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, 2019, 800 : 103 - 111
12345