MARC状态：审校 文献类型：中文图书 浏览次数：15
- 题名/责任者:
- 严密系统设计:方法、趋势与挑战/(法) (希) 约瑟夫·希发基思著 王强, 张继勇译著
- 出版发行项:
- 北京:电子工业出版社,2023
- ISBN及定价:
- 978-7-121-46765-3 精装/CNY79.00
- 载体形态项:
- Ⅻ, 195页:彩图, 肖像;25cm
- 个人责任者:
- 希发基思 (Sifakis, Joseph) 著
- 个人次要责任者:
- 王强 译著
- 个人次要责任者:
- 张继勇 译著
- 学科主题:
- 数字系统-系统设计
- 中图法分类号:
- TP271
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书提出了一种基于形式化模型的严密的系统设计方法，详细阐述了严密系统设计方法的基本原理，介绍了严密系统设计框架BIP的建模语言、形式语义及其工具链。自主系统作为人工智能技术应用落地的重要形态，讨论了自主系统设计的趋势和挑战，阐述了一种集成模型驱动方法与数据驱动方法的思路等。
- 使用对象附注:
- 计算机科学与技术专业、智能系统专业、软件工程专业、信息安全专业、物联网专业、电子信息工程专业人员
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP271/50 | B01550708 | 2023 |  自然科学图书借阅室
|
可借 | 自然科学图书借阅室 |