...
机译:关于SNSP的设计和形式验证:针对安全关键型应用程序的新型实时通信协议
School of Information Science and Engineering, Lanzhou University, Lanzhou, China;
School of Information Science and Engineering, Lanzhou University, Lanzhou, China;
School of Information Science and Engineering, Lanzhou University, Lanzhou, China;
School of Information Science and Engineering, Lanzhou University, Lanzhou, China;
Huawei Technologies Co., Ltd., Shenzhen, China;
School of Information Science and Engineering, Lanzhou University, Lanzhou, China;
Department of Information Management, Overseas Chinese University, Taichung, Taiwan;
Department of Computer Science and Information Engineering (CSIE), Providence University, Taichung, Taiwan;
School of Science, Lanzhou University of Technology, Lanzhou, China;
Event-triggered protocol; Safe node sequence protocol; Safety; Fault-tolerance; Formal verification;
机译:用于安全关键型应用的运动控制角色重定位算法的形式验证和确认
机译:使用SDL进行Web实时通信的信令协议的形式化建模和验证
机译:实时资源访问控制协议的建模,分析和验证:一种正式方法
机译:使用具有正式数据和行为语义的建模语言对实时安全关键协议进行验证
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:用于传感器应用180 nm CMOS过程中SWIPT系统的自适应控制和通信协议的设计
机译:TLa +正式规范和验证新的实时通信协议*
机译:基于Estelle IsO形式描述技术的通信协议形式化设计