TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS

被引：0
|
作者：
JARAY, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 331卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：67 / 83
页数：17
相关论文
共 50 条
  • [21] Real-time dependable decisions in timed asynchronous distributed systems
    Raynal, M
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 283 - 290
  • [22] Analysing Real-time Distributed Systems using Timed Actors
    Sirjani, Marjan
    [J]. 2019 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2019, : 324 - 324
  • [23] Timed Wp-method: Testing real-time systems
    En-Nouaary, A
    Dssouli, R
    Khendek, F
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (11) : 1023 - 1038
  • [24] MODELING TIMED BEHAVIOR IN REAL-TIME SYSTEMS WITH TEMPORAL LOGIC
    PETERS, JF
    RAMANNA, S
    [J]. CYBERNETICS AND SYSTEMS, 1991, 22 (05) : 583 - 608
  • [25] Timed state space analysis of real-time preemptive systems
    Bucci, G
    Fedeli, A
    Sassoli, L
    Vicario, E
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (02) : 97 - 111
  • [26] Timed behavior trees and their application to verifying real-time systems
    Grunske, Lars
    Winter, Kirsten
    Colvin, Robert
    [J]. 2007 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 211 - +
  • [27] Integration of functional and timed testing of real-time and concurrent systems
    Kuliamin, VV
    Petrenko, AK
    Pakoulin, NV
    Kossatchev, AS
    Bourdonov, IB
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 450 - 461
  • [28] VERIFYING PROPERTIES OF HMS MACHINE SPECIFICATIONS OF REAL-TIME SYSTEMS
    GABRIELIAN, A
    IYER, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 421 - 431
  • [29] Testing real-time systems from compositional symbolic specifications
    Adriana C. Damasceno
    Patricia D. L. Machado
    Wilkerson L. Andrade
    [J]. International Journal on Software Tools for Technology Transfer, 2017, 19 : 53 - 71
  • [30] Automatic Code Generation from Real-Time Systems Specifications
    Carnevali, L.
    D'Amico, D.
    Ridi, L.
    Vicario, E.
    [J]. RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 102 - 105
12345