主编推荐语
“图灵奖”得主、中美法欧六院院士发轫之作，洞悉智能自主趋势。
内容简介
本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。 自主系统是人工智能技术应用落地的重要形态，本书讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路，并提出了一种新的基于替换测试的智能测试方法，用以判断自主系统在完成多种不同类型任务方面的智能水平。
出版方
电子工业出版社
分享
用微信扫描二维码