时间描述机制相关硕士博士期刊学术论文 - 搜论网

时间描述机制相关论文

RSL应用于协议形式化描述的研究

在RSL形式语言的基础上扩充了时间描述机制,使其能够描述协议的实时性;并且根据该语言的特点,提出了一种面向对象的FSM模型(OOFSM)......

期刊

形式化描述 RSL 形式描述语言面向对象 FSM 时间描述机制通信协议 formal description RSL object-oriented tec

看过本文同时还关注