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 条
  • [41] SVERTS - Specification and validation of real-time and embedded systems
    Graf, S
    Haugen, O
    Ober, I
    Selic, B
    UML MODELING LANGUAGES AND APPLICATIONS, 2005, 3297 : 33 - 42
  • [42] A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS
    NAIK, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 341 - 361
  • [43] Specification of real-time and hybrid systems in rewriting logic
    Ölveczky, PC
    Meseguer, J
    THEORETICAL COMPUTER SCIENCE, 2002, 285 (02) : 359 - 405
  • [44] A general time model for the specification and design of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Hofmann, R
    Slomka, F
    MICROELECTRONICS JOURNAL, 2003, 34 (11) : 989 - 1000
  • [45] Limited Preemptive Scheduling for Real-Time Systems. A Survey
    Buttazzo, Giorgio C.
    Bertogna, Marko
    Yao, Gang
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2013, 9 (01) : 3 - 15
  • [46] Real-time specification patterns
    Konrad, S
    Cheng, BHC
    ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 372 - 381
  • [47] A real-time specification language
    do Amaral, FN
    Haeusler, EH
    Endler, M
    ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 194 - 201
  • [48] Real-time Construction and Control on Dynamic Systems
    Liu, Hua
    Wang, Zhaoyang
    REAL-TIME PHOTONIC MEASUREMENTS, DATA MANAGEMENT, AND PROCESSING VI, 2021, 11902
  • [49] Real-time locating systems applications in construction
    Li, Heng
    Chan, Greg
    Wong, Johnny Kwok Wai
    Skitmore, Martin
    Automation in Construction, 2016, 63 : 37 - 47
  • [50] Real-time locating systems applications in construction
    Li, Heng
    Chan, Greg
    Wong, Johnny Kwok Wai
    Skitmore, Martin
    AUTOMATION IN CONSTRUCTION, 2016, 63 : 37 - 47
12345