| 作 者： | Manfred Broy Ingolf Krüger Michael Meisinger |
| 出版社： | 崇文书局（原湖北辞书出版社） |
| 丛编项： | |
| 版权说明： | 本书为公共版权或经版权方授权，请支持正版图书 |
| 标 签： | 暂缺 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
Quality Assurance
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Quality Assurance and Certification of Software Modules in Safety
Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform
Real-Time Control
On the Fault Hypothesis for a Safety-Critical Real-Time System
A Compositional Framework for Real-Time Guarantees
Services and Components
Validation of Component and Service Federations in Automotive Software Applications
Towards a Component Architecture for Hard Real Time Control Applications
Model-Based Development and Tools
Adding Value to Automotive Models
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Software for Automotive Systems: Model-Integrated Computing
Simulink Integration of Giotto/TDL
Author Index
