共 50 条
- [22] The Discourje project: run-time verification of communication protocols in Clojure International Journal on Software Tools for Technology Transfer, 2022, 24 : 757 - 782
- [24] Temporally enhanced erasure codes for real-time communication protocols 2000 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY PROCEEDINGS, VOLS. I & II, 2000, : 1530 - 1533
- [25] Extended Formulations from Communication Protocols in Output-Efficient Time INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, IPCO 2019, 2019, 11480 : 43 - 56
- [27] Real time performance analysis of secure IoT protocols for microgrid communication FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2021, 116 : 1 - 12
- [28] Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 4194 - 4199
- [29] Distributed fault detection in communication protocols using extended finite state machines 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 310 - 318