4.4.2 對(duì)實(shí)時(shí)嵌入式軟件測(cè)試時(shí)間約束及并發(fā)處理的支持
- 嵌入式軟件系統(tǒng)測(cè)試:基于形式化方法的自動(dòng)化測(cè)試解決方案
- 殷永峰 姜博編著
- 399字
- 2021-02-22 15:46:27
上QQ閱讀APP看后續(xù)精彩內(nèi)容
登錄訂閱本章 >
推薦閱讀
- Java入門經(jīng)典(第6版)
- Visual C++實(shí)例精通
- Mastering Ubuntu Server
- SAS數(shù)據(jù)統(tǒng)計(jì)分析與編程實(shí)踐
- R大數(shù)據(jù)分析實(shí)用指南
- Instant Ext.NET Application Development
- Test-Driven JavaScript Development
- Image Processing with ImageJ
- Troubleshooting Citrix XenApp?
- Java7程序設(shè)計(jì)入門經(jīng)典
- Hands-On Robotics Programming with C++
- 分布式架構(gòu)原理與實(shí)踐
- JavaEE架構(gòu)與程序設(shè)計(jì)
- Bitcoin Essentials
- Learning Ionic(Second Edition)