← 返回

严密系统设计—方法、趋势与挑战

著者(法)(希)约瑟夫·希发基思(Joseph Sifakis)著,王强，张继勇译著
ISBN9787121467653
分类号TP271 自动化技术、计算机技术
学科工学
版次第1版
出版社电子工业出版社
丛书名—
出版年2023
价格¥79.00
页码12,195页
类型 📄 纸质书
核心评分9.3/10
读者对象—
主题词数字系统—系统设计
内容简介：本书共七章，内容包括：引言、系统设计的正确性和复杂性、严密系统设计方法、基于BIP的系统设计框架、自主系统的设计方法、自主系统的智能测试、系统设计的挑战与展望。
登录后可荐购