共 50 条
- [43] Quorum-based asynchronous power-saving protocols for IEEE 802.11 ad hoc networks MOBILE NETWORKS & APPLICATIONS, 2005, 10 (1-2): : 169 - 181
- [44] Quorum-Based Asynchronous Power-Saving Protocols for IEEE 802.11 Ad Hoc Networks Mobile Networks and Applications, 2005, 10 : 169 - 181
- [45] Enhancing integrity of embedded control systems NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 535 - 540
- [47] Verification of embedded Reactive Fiffo Systems LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 : 400 - 414
- [48] RATCHETA: Memory-bounded Hybrid Byzantine Consensus for Cooperative Embedded Systems 2018 IEEE 37TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2018, : 103 - 112
- [50] Asynchronous Spiking Neural P Systems with Anti-Spikes Neural Processing Letters, 2015, 42 : 633 - 647