代数定律相关硕士博士期刊学术论文 - 信丰网

代数定律相关论文

使用延时演算的时间化RSL的指称语义

使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一......

期刊

延时演算指称语义实时系统 RSL语言代数定律时间化 Algebra Differentiation (calculus) Mathematical mo

看过本文同时还关注