文件名称:Rigorous System-level Modeling and Performance Evaluation
文件大小:3.81MB
文件格式:PDF
更新时间:2023-04-12 13:39:03
模型检测 形式化 CTL LTL
严密系统设计博士论文,Rigorous System-level Modeling and Performance Evaluation for Embedded System Design
文件名称:Rigorous System-level Modeling and Performance Evaluation
文件大小:3.81MB
文件格式:PDF
更新时间:2023-04-12 13:39:03
模型检测 形式化 CTL LTL
严密系统设计博士论文,Rigorous System-level Modeling and Performance Evaluation for Embedded System Design