New tools for testing real-time embedded software

被引：0
|
作者：
机构：
来源：
Electronic Engineering (London) | 1996年 / 68卷 / 831期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] A Course in Real-Time Embedded Software
    Archibald, J.
    Fife, W.
    COMPUTER SCIENCE EDUCATION, 2007, 17 (02) : 97 - 106
  • [12] Testing embedded real-time systems
    En-Nouaary, A
    Khendek, F
    Dssouli, R
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 417 - 424
  • [13] Design and Application of Real-time Embedded Software Simulation Testing Object Framework
    Yin Yongfeng
    Liu Bin
    Ni Hongying
    SMART MATERIALS AND INTELLIGENT SYSTEMS, PTS 1 AND 2, 2011, 143-144 : 152 - +
  • [14] Environment modeling and simulation for automated testing of soft real-time embedded software
    Muhammad Zohaib Iqbal
    Andrea Arcuri
    Lionel Briand
    Software & Systems Modeling, 2015, 14 : 483 - 524
  • [15] Environment modeling and simulation for automated testing of soft real-time embedded software
    Iqbal, Muhammad Zohaib
    Arcuri, Andrea
    Briand, Lionel
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 483 - 524
  • [16] A new perspective on formal testing method for real-time software
    Lin, JC
    Ho, I
    PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II, 2000, : A270 - A276
  • [17] The integrated application based on real-time extended UML and improved formal method in real-time embedded software testing
    Yin Y.
    Liu B.
    Li Z.
    Zhang C.
    Wu N.
    Journal of Networks, 2010, 5 (12) : 1410 - 1416
  • [18] PORTING EMBEDDED REAL-TIME ADA SOFTWARE
    MAYMIRDUCHARME, FA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 92 - 103
  • [19] Timed multitasking for real-time embedded software
    Liu, J
    Lee, EA
    IEEE CONTROL SYSTEMS MAGAZINE, 2003, 23 (01): : 65 - 75
  • [20] Concurrent embedded real-time software verification
    Hsiung, PA
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 516 - 521
12345