On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications.评价结果

评估详情