ASK-CTL形式化验证相关硕士博士期刊学术论文 - 搜论网

ASK-CTL形式化验证相关论文

STP安全通信协议设计与形式化验证

无线调车机车信号和监控系统(STP)是基于无线数传电台,实现车载和地面设备之间双向信息传输的实时信号监控和安全防护系统。为保证......

期刊

安全通信协议时序逻辑分层着色Petri网 ASK-CTL形式化验证故障导向安全 safety communication protocoltemporal

看过本文同时还关注