主备切换协议相关硕士博士期刊学术论文 - 搜论网

主备切换协议相关论文

一种简单的主备切换协议的设计和验证

软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,......

期刊

主备切换协议有限状态机功能设计软件系统可达性分析形式化主机备机协议验证终态

看过本文同时还关注