信息物理系统逻辑基础 = Logical foundation of cyber-physical systems

Main Authors: (美) 普拉泽 Platzer, André (著)
Group Author: 曾海波 (译); 李仁发 (译)
Published: 机械工业出版社
Publication Dates: 2021
Call Number: TP271/8653