7.2.2 靜態模型的測試描述
- 嵌入式軟件系統測試：基于形式化方法的自動化測試解決方案
- 殷永峰 姜博編著
- 286字
- 2021-02-22 15:46:43
上QQ閱讀APP看后續精彩內容
登錄訂閱本章 >
推薦閱讀
- C語言程序設計案例教程（第2版）
- Java系統分析與架構設計
- Mastering Yii
- Mastering KnockoutJS
- Java項目實戰精編
- AV1視頻編解碼標準：原理與算法實現
- AMP：Building Accelerated Mobile Pages
- 從零開始學UI：概念解析、實戰提高、突破規則
- Oracle Database XE 11gR2 Jump Start Guide
- C# 7.1 and .NET Core 2.0：Modern Cross-Platform Development（Third Edition）
- 計算機應用基礎（Windows 7+Office 2010）
- Learning Dynamics NAV Patterns
- Visual FoxPro程序設計實驗教程
- 鋁合金陽極氧化與表面處理技術（第三版）
- 深入實踐C++模板編程