共 50 条
- [34] A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2016, 9 (01): : 140 - 150
- [40] Increasing fairness and efficiency using the MadMac protocol in ad hoc networks NETWORKING 2006: NETWORKING TECHNOLOGIES, SERVICES, AND PROTOCOLS; PERFORMANCE OF COMPUTER AND COMMUNICATION NETWORKS; MOBILE AND WIRELESS COMMUNICATIONS SYSTEMS, 2006, 3976 : 403 - 414