7.3.2 I/GNS的RT-EFSM模型及時間約束遷移等價類分析
- 嵌入式軟件系統測試：基于形式化方法的自動化測試解決方案
- 殷永峰 姜博編著
- 231字
- 2021-02-22 15:46:45
上QQ閱讀APP看后續精彩內容
登錄訂閱本章 >
推薦閱讀
- PyTorch自動駕駛視覺感知算法實戰
- 算法基礎：打開程序設計之門
- 差分進化算法及其高維多目標優化應用
- Effective Python Penetration Testing
- Learning Data Mining with R
- 微信小程序入門指南
- Jenkins Continuous Integration Cookbook（Second Edition）
- Getting Started with Gulp
- Getting Started with Hazelcast（Second Edition）
- 深入淺出React和Redux
- NoSQL數據庫原理
- 創意UI：Photoshop玩轉APP設計
- Python第三方庫開發應用實戰
- Drupal Search Engine Optimization
- Docker on Windows