SPECIFICATION AND CONSTRUCTION METHODOLOGY FOR REAL-TIME SYSTEMS.

被引：0
|
作者：
Rodriguez, Jorge E.
Greenspan, Sol J.
机构：
来源：
| 1600年 / AFIPS, Montvale, NJ卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer software
引用
收藏
相关论文
共 50 条
  • [21] Specification Theories for Probabilistic and Real-Time Systems
    Fahrenberg, Uli
    Legay, Axel
    Traonouez, Louis-Marie
    FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
  • [22] The API Specification for Real-Time Database Systems
    Ning Wei
    Wang Dao-lin
    PROCEEDINGS OF 2009 INTERNATIONAL WORKSHOP ON INFORMATION SECURITY AND APPLICATION, 2009, : 311 - 314
  • [23] Parallel real-time systems: Formal specification
    Choudhary, AN
    Gehlot, V
    Narahari, B
    FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
  • [24] Diagrammatic Specification of Mobile Real-Time Systems
    Linker, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 316 - 318
  • [25] Specification and analysis of real-time systems with PARAGON
    Sokolsky, O
    Lee, I
    Ben-Abdallah, H
    ANNALS OF SOFTWARE ENGINEERING, 1999, 7 : 211 - 234
  • [26] Specification and timing analysis of real-time systems
    Wang, SH
    Tsai, G
    REAL-TIME SYSTEMS, 2004, 28 (01) : 69 - 90
  • [27] A TPN based framework for the specification of real time embedded systems.
    Abdelli, A.
    Hammal, Y.
    PROCEEDINGS OF THE 2009 FOURTH INTERNATIONAL CONFERENCE ON EMBEDDED AND MULTIMEDIA COMPUTING, 2009, : 85 - 90
  • [28] A Behavior Specification and Simulation Methodology for Embedded Real-Time Software
    Doerr, Tobias
    Schade, Florian
    Ahlbrecht, Alexander
    Zaeske, Wanja
    Masing, Leonard
    Durak, Umut
    Becker, Juergen
    2022 IEEE/ACM 26TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2022,
  • [29] Real-time Al systems. A definition and an architecture
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [30] PROGRAM FOR STRUCTURING FOR REAL-TIME MICROPROCESSOR SYSTEMS.
    Rachimbekov, B.M.
    Varfolomeyev, A.N.
    Telecommunications and Radio Engineering (English translation of Elektrosvyaz and Radiotekhnika), 1984, 38-39 (10): : 37 - 40
12345