Showing 41 - 60 results of 560 for search '(((verification OR notifications) OR modification) OR notifications)', query time: 0.09s Refine Results
  1. 41
  2. 42
  3. 43
  4. 44
  5. 45
  6. 46
  7. 47
  8. 48
  9. 49

    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. …”
  10. 50
  11. 51
  12. 52
  13. 53
  14. 54
  15. 55
  16. 56
  17. 57
  18. 58

    On Single Source Reachability Improvement by Alkak, Hashem

    Published 2022
    Subjects: “…Computer systems -- Verification…”
    Get full text
    Get full text
    Get full text
    masterThesis
  19. 59
  20. 60