当前位置:首页 > (尼日尔)阿卢塞尼·穆鲁著相关PDF电子书下载
-
-
-
信息物理融合系统(cps)原理
(美)拉吉夫·阿卢尔(Rajeev Alur)著2017 年出版284 页ISBN:9787111559047本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对...
-
-
-
-
-
-
-
本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对...