EXAMPLES OF A REAL-TIME TEMPORAL LOGIC SPECIFICATION

被引：0
|
作者：
KOYMANS, R [1 ]
DEROEVER, WP [1 ]
机构：
[1] STATE UNIV UTRECHT,UTRECHT,NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 207卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
下载
收藏
页码：231 / 252
页数：22
相关论文
共 50 条
  • [21] Real-time RRT* with Signal Temporal Logic Preferences
    Linard, Alexis
    Torre, Ilaria
    Bartoli, Ermanno
    Sleat, Alex
    Leite, Iolanda
    Tumova, Jana
    2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2023, : 8621 - 8627
  • [22] Modelling real-time systems with continuous-time temporal logic
    Li, GY
    Tang, ZS
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 231 - 236
  • [23] Expressing and organizing real-time specification patterns via temporal logics
    Bellini, P.
    Nesi, P.
    Rogai, D.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (02) : 183 - 196
  • [24] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [25] Real-time specification patterns
    Konrad, S
    Cheng, BHC
    ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 372 - 381
  • [26] A real-time specification language
    do Amaral, FN
    Haeusler, EH
    Endler, M
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 194 - 201
  • [27] Real-time refinement in Manna and Pnueli's temporal logic
    Real-time Research Group, Department of Computer Science, University of York, York, United Kingdom
    Formal Aspects Comput, 4 (408-427):
  • [28] Specifying industrial real-time systems with a temporal logic framework
    Ciapessoni, E
    Corsetti, E
    Migliorati, M
    Ratto, E
    Crivelli, E
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (01) : 21 - 61
  • [29] An on-the-fly tableau construction for a real-time temporal logic
    Geilen, M
    Dams, D
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2000, 1926 : 276 - 290
  • [30] Abstraction In Model Checking Real-Time Temporal Logic of Knowledge
    Zhou, CongHua
    Sun, Bo
    JOURNAL OF COMPUTERS, 2012, 7 (02) : 362 - 370
12345