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 条
  • [21] Deriving real-time action systems in a sampling logic
    Dongol, Brijesh
    Hayes, Ian J.
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (11) : 2047 - 2063
  • [22] MASL: A logic for the specification of multiagent real-time systems
    Bugaychenko, Dmitry
    Soloviev, Igor
    MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 183 - 192
  • [23] Extending real-time collaborative editing systems with asynchronous communication
    Ignat, CL
    Norrie, MC
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2, 2004, : 528 - 533
  • [24] Specification of real-time and hybrid systems in rewriting logic
    Ölveczky, PC
    Meseguer, J
    THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 359 - 405
  • [25] ON THE SPECIFICATION OF REAL-TIME SYSTEMS USING LOGIC PROGRAMMING
    GARZOTTO, F
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 180 - 190
  • [26] Extending the MaSE methodology for the development of embedded real-time systems
    Badr, Iman
    Mubarak, Hisham
    Goehner, Peter
    LANGUAGES, METHODOLOGIES AND DEVELOPMENT TOOLS FOR MULTI-AGENT SYSTEMS, 2008, 5118 : 106 - 122
  • [27] Extending Object-Z for specifying real-time systems
    Periyasamy, K
    Alagar, VS
    TOOLS 23 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS, 1998, : 163 - 175
  • [28] VALIDATING REAL-TIME SYSTEMS BY EXECUTING LOGIC SPECIFICATIONS
    MORZENTI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 502 - 525
  • [29] APPLICATIONS OF TEMPORAL LOGIC TO THE SPECIFICATION OF REAL-TIME SYSTEMS
    PNUELI, A
    HAREL, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 84 - 98
  • [30] An interval point duration temporal logic for the modeling of real time systems
    Ben Ayed, LJ
    Jaray, J
    ISCCSP : 2004 FIRST INTERNATIONAL SYMPOSIUM ON CONTROL, COMMUNICATIONS AND SIGNAL PROCESSING, 2004, : 25 - 28
12345