本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、形式化的规约和验证方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对信息物理融合系统进行描述。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。