Showing 61 - 80 results of 1,159 for search '((((verification OR modification) OR certification) OR certifications) OR notification)', query time: 0.13s Refine Results
  1. 61
  2. 62
  3. 63
  4. 64
  5. 65

    Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks by Tariq Mumtaz (10861635)

    Published 2025
    “…The proposed RRM methodology incorporates formal verification capabilities to generate vast Pareto optimality datasets for specific RAN design parameters, establishing a foundation for rigorous RRM strategy selection. …”
  6. 66
  7. 67
  8. 68
  9. 69
  10. 70
  11. 71
  12. 72
  13. 73
  14. 74
  15. 75
  16. 76

    On Single Source Reachability Improvement by Alkak, Hashem

    Published 2022
    Subjects: “…Computer systems -- Verification…”
    Get full text
    Get full text
    Get full text
    masterThesis
  17. 77
  18. 78
  19. 79
  20. 80