更多详情

在线阅读

被引数量: 0

评价数量: 0

领域

Control system software Program verifier Control software Prototype Verification System Formal verification Detector control system Affine control systems Control system Software flow control Modular control system

馆藏高校

{{holding.name}}

Formal Verification of Control System Software

ISBN: 9780691189581 出版年：2019 页码：230 Garoche, Pierre-Loic Princeton University Press

知识网络

知识图谱网络

内容简介

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书