时间触发的高置信度嵌入式系统 电子书下载

原名:TIME-TRIGGERED HIGH-CONFIDENCE EMBEDDED SYSTEMS
作品简介:调度程序定时自动机网络分析。结束开发周期，
从与 Simulink 集成到 DO-178B 认证。或许是。……