Showing 121 - 140 results of 706 for search '((((modifications OR modification) OR stratification) OR verification) OR purifications)', query time: 0.12s Refine Results
  1. 121

    On Single Source Reachability Improvement by Alkak, Hashem

    Published 2022
    Subjects: “…Computer systems -- Verification…”
    Get full text
    Get full text
    Get full text
    masterThesis
  2. 122
  3. 123
  4. 124
  5. 125
  6. 126
  7. 127
  8. 128
  9. 129
  10. 130
  11. 131
  12. 132
  13. 133
  14. 134
  15. 135

    Empirical Evaluation of Extended Finite State Machine Test Suites by Hasan, Faiz Mohammed

    Published 2022
    Subjects: “…Software engineering/software/program verification…”
    Get full text
    doctoralThesis
  16. 136
  17. 137
  18. 138
  19. 139
  20. 140