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 条
  • [1] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION OF REAL-TIME SYSTEMS
    PNUELI, A
    HAREL, E
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 84 - 98
  • [2] An interval logic for real-time system specification
    Mattolini, R
    Nesi, P
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (03) : 208 - 227
  • [3] A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control
    Dhananjayan, Amrith
    Seow, Kiam Tian
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (09): : 1204 - 1215
  • [4] A fuzzy real-time temporal logic
    Mukherjee, Subhankar
    Dasgupta, Pallab
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (09) : 1452 - 1470
  • [5] Temporal logics for real-time system specification
    Bellini, P
    Mattolini, R
    Nesi, P
    [J]. ACM COMPUTING SURVEYS, 2000, 32 (01) : 12 - 42
  • [6] ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS
    GOSWAMI, A
    BELL, M
    JOSEPH, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 1 - 20
  • [7] MASL: A logic for the specification of multiagent real-time systems
    Bugaychenko, Dmitry
    Soloviev, Igor
    [J]. MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 183 - 192
  • [8] Comments on "An interval logic for real-time system specification"
    Furia, CA
    Morzenti, A
    Pradella, M
    Rossi, MG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (06) : 424 - 427
  • [9] ON THE SPECIFICATION OF REAL-TIME SYSTEMS USING LOGIC PROGRAMMING
    GARZOTTO, F
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 180 - 190
  • [10] Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification
    Lesire, Charles
    Roussel, Stephanie
    Doose, David
    Grand, Christophe
    [J]. 2019 INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2019, : 597 - 603
12345