Development methods for real-time systems

被引：0
|
作者：
机构：
[1] Hull, M.E.C.
[2] O'Donoghue, P.G.
[3] Hagan, B.J.
来源：
Hull, M.E.C. | 1600年 / 34期
关键词：
Computer Systems; Digital;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] DEVELOPMENT METHODS FOR REAL-TIME SYSTEMS
    HULL, MEC
    ODONOGHUE, PG
    HAGAN, BJ
    COMPUTER JOURNAL, 1991, 34 (02): : 164 - 172
  • [2] Formal methods in real-time systems
    Olderog, ER
    10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS, 1998, : 254 - 263
  • [3] THE DEVELOPMENT OF IMPRECISE REAL-TIME SYSTEMS
    PORTMAN, M
    ZEDAN, HSM
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (02) : 73 - 83
  • [4] Integrating methods for the design of real-time systems
    Hooman, J
    Vain, J
    JOURNAL OF SYSTEMS ARCHITECTURE, 1996, 42 (6-7) : 489 - 502
  • [5] Development of dependable real-time systems with Zerberus
    Buckl, C
    Knoll, A
    Schrott, G
    11th Pacific Rim International Symposium on Dependable Computing, Proceedings, 2005, : 404 - 408
  • [6] A refinement calculus for the development of real-time systems
    Chen, ZQ
    Cau, A
    Zedan, H
    Liu, XD
    Yang, HJ
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 61 - 68
  • [7] TIMED SPECIFICATIONS FOR THE DEVELOPMENT OF REAL-TIME SYSTEMS
    JARAY, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 67 - 83
  • [8] Transformational formal development of real-time systems
    Lano, K
    Sanchez, A
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 184 - 198
  • [9] SOFTWARE-DEVELOPMENT OF REAL-TIME SYSTEMS
    GOMAA, H
    COMMUNICATIONS OF THE ACM, 1986, 29 (07) : 657 - 668
  • [10] Real-Time and Intelligent Methods for Cybernetics and Systems Modeling
    Telmoudi, Achraf Jabeur
    Herrera-Viedma, Enrique
    Rizvi, Syed Tahir Hussain
    CYBERNETICS AND SYSTEMS, 2023,
12345