领域

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

馆藏高校

Formal Verification of Control System Software

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

知识网络

内容简介

作品图片

推荐图书