详细内容或原文请订阅后点击阅览
NIST 研究人员解释发现系统行为设计不一致的软件
NIST 的 Raphael Barbau 和 Conrad Bock 受邀在马里兰大学设计表示前沿暑期学校展示 NIST 开发的软件，该软件有助于发现系统行为设计中的不一致之处。为期一周的活动
来源:美国国家标准与技术研究院__通讯信息图片来源：CTL
图片来源：NIST 的 Raphael Barbau 和 Conrad Bock 应邀在马里兰大学设计表现前沿暑期学校展示 NIST 开发的软件，该软件有助于发现系统行为设计中的不一致之处。为期一周的活动重点关注新兴数学、统计和计算基础，以帮助工程设计。
NIST 的 Raphael Barbau 和 Conrad Bock 应邀在马里兰大学设计表现前沿暑期学校展示 NIST 开发的软件，该软件有助于发现系统行为设计中的不一致之处。为期一周的活动重点关注新兴数学、统计和计算基础，以帮助工程设计。 NIST 的 Raphael Barbau 和 Conrad Bock 应邀在马里兰大学的设计表现前沿暑期学校展示 NIST 开发的有助于发现系统行为设计中不一致之处的软件。为期一周的活动重点关注新兴的数学、统计和计算基础，以帮助工程设计。 NIST 的 Raphael Barbau 和 Conrad Bock 应邀在马里兰大学的设计表现前沿暑期学校展示 NIST 开发的有助于发现系统行为设计中不一致之处的软件。为期一周的活动重点关注新兴的数学、统计和计算基础，以帮助工程设计。 NIST 的 Raphael Barbau 和 Conrad Bock 应邀在马里兰大学的设计表现前沿暑期学校展示 NIST 开发的有助于发现系统行为设计中不一致之处的软件。为期一周的活动重点关注新兴的数学、统计和计算基础，以协助工程设计。 设计表现前沿暑期学校 设计表现前沿暑期学校 从 OBM 到 SMT 的自动翻译器 从 OBM 到 SMT 的自动翻译器 以前的工作