基本信息
文件名称：信息物理系统原理与设计 课件第六章+【CPS模型验证】.pdf
文件大小：1.65 MB
总页数：62 页
更新时间：2026-02-05
总字数：约2.32万字
文档摘要
信息物理系统原理与设计
第六章CPS模型验证
01需求分析
主要内容02安全性需求
CONTENTS03活性需求
04线性时序逻辑
05验证不变量