RAISE规范语言相关论文
与轮轨交通技术相比,高速磁浮交通技术更加节能和环保,并且速度也更有优势,是21世纪非常有竞争力的运输系统。随着高速磁浮交通技......
讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上，借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则......
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探......
研究以RAISE规范语言（RSL）描述时态逻辑中always算子、sometimes算子和until算子的方法以及对复合时态算子的描述方法,提出在时态逻......
