A UNIFIED APPROACH TO REAL-TIME SYSTEMS INTEGRATION

被引：0
|
作者：
WATERMAN, PJ
机构：
来源：
RESEARCH & DEVELOPMENT | 1989年 / 31卷 / 3A期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：88 / 92
页数：5
相关论文
共 50 条
  • [21] An approach to modeling and verification of real-time systems
    Gumzej, R
    Colnaric, M
    FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 283 - 290
  • [22] A local approach to the testing of real-time systems
    Koné, O
    COMPUTER JOURNAL, 2001, 44 (05): : 435 - 447
  • [23] Approach for Designing Real-Time IoT Systems
    Deniziak, Stanislaw
    Plaza, Miroslaw
    Arcab, Lukasz
    ELECTRONICS, 2022, 11 (24)
  • [24] Iterative approach to verification of real-time systems
    Univ of California, Berkeley, United States
    Formal Methods Syst Des, 1 (67-95):
  • [25] A DESIGN APPROACH FOR ULTRARELIABLE REAL-TIME SYSTEMS
    LALA, JH
    HARPER, RE
    ALGER, LS
    COMPUTER, 1991, 24 (05) : 12 - 22
  • [26] AN ITERATIVE APPROACH TO VERIFICATION OF REAL-TIME SYSTEMS
    BALARIN, F
    SANGIOVANNIVINCENTELLI, AL
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 6 (01) : 67 - 95
  • [27] OpenGV: A Unified and Generalized Approach to Real-Time Calibrated Geometric Vision
    Kneip, Laurent
    Furgale, Paul
    2014 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2014, : 1 - 8
  • [28] A Novel Real-Time Approach to Unified Power Flow Controller Validation
    Wang, Keyou
    Crow, Mariesa L.
    McMillin, Bruce
    Atcitty, Stan
    IEEE TRANSACTIONS ON POWER SYSTEMS, 2010, 25 (04) : 1892 - 1901
  • [29] Unified Foothold Selection and Motion Planning for Legged Systems in Real-Time
    Crews, Steven
    Agrawal, Sapan
    Travers, Matthew
    2019 IEEE-RAS 19TH INTERNATIONAL CONFERENCE ON HUMANOID ROBOTS (HUMANOIDS), 2019, : 622 - 629
  • [30] Implementation of the Real-Time Intelligent System Based on the Integration Approach
    Eremeev, A. P.
    Kozhukhov, A. A.
    Gerasimova, A. E.
    PROCEEDINGS OF THE FOURTH INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'19), 2020, 1156 : 99 - 108
12345