实时系统的规范语言相关硕士博士期刊学术论文 - 搜论网

实时系统的规范语言相关论文

实时系统规范语言STeC的Maude重写系统

信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此，引入实时系统的规范语言STeC，用于刻画具有......

期刊

实时系统实时系统的规范语言重写逻辑形式化分析时空一致性操作语义 real-time system specification language fo

看过本文同时还关注