模型检查．相关硕士博士期刊学术论文 - 信丰网

模型检查．相关论文

LTLC：面向实时与混成系统的连续时序逻辑

混成系统是一种既包含离散成分又包含连续成分的计算系统，数控系统等一些与其外部连续变化的物理环境不断交互的嵌入式系统就是其典......

学位

实时系统混成系统时序逻辑实时逻辑规范语言系统刻画语言可满足性可判定性模型检查．

看过本文同时还关注