Visualization of interval temporal logic

被引：0
|
作者：
Rao, AC [1 ]
Cau, A [1 ]
Zedan, H [1 ]
机构：
[1] De Montfort Univ, Software Technol Res Lab, SERCtr, Leicester LE1 9BH, Leics, England
来源：
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A graphical notation and an associated tool to specify the behaviour of systems is introduced and is based on 'Interval Temporal Logic' (ITL). It is a part of the so-called 'lean approach' to formal methods.
引用
收藏
页码：687 / 690
页数：4
相关论文
共 50 条
  • [1] Prompt Interval Temporal Logic
    Della Monica, Dario
    Montanari, Angelo
    Murano, Aniello
    Sala, Pietro
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 207 - 222
  • [2] REASONING IN INTERVAL TEMPORAL LOGIC
    MOSZKOWSKI, B
    MANNA, Z
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 371 - 382
  • [3] INTERVAL TEMPORAL LOGIC - A NOTE
    BARNES, RF
    JOURNAL OF PHILOSOPHICAL LOGIC, 1981, 10 (04) : 395 - 397
  • [4] AN INTERVAL-BASED TEMPORAL LOGIC
    SCHWARTZ, RL
    MELLIARSMITH, PM
    VOGT, FH
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 443 - 457
  • [5] Parametric Metric Interval Temporal Logic
    Di Giampaolo, Barbara
    La Torre, Salvatore
    Napoli, Margherita
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2010, 6031 : 249 - 260
  • [6] Actions with Failures in Interval Temporal Logic
    Hommersom, Arjen
    Lucas, Peter
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 22 - 41
  • [7] Refining Interval Temporal Logic specifications
    Cau, A
    Zedan, H
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 79 - 94
  • [8] Parametric metric interval temporal logic
    Di Giampaolo, Barbara
    La Torre, Salvatore
    Napoli, Margherita
    THEORETICAL COMPUTER SCIENCE, 2015, 564 : 131 - 148
  • [9] Model checking interval temporal logic
    Zhang, Hai-Bin
    Duan, Zhen-Hua
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2009, 36 (02): : 338 - 342
  • [10] Sharpening the undecidability of interval temporal logic
    Lodaya, K
    ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 290 - 298
12345