Search Results - (("Computer programs Validation") OR ("Computer programmes Validation"))

Search alternatives:

  • Showing 1 - 3 results of 3
Refine Results
  1. Cover Image

    A Run-time environment for a validation language by Visser, Willem Conradie

    Published 2012
    Subjects: “…Computer programs -- Validation…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

    Published 2006
    Subjects: “…Computer programs -- Validation…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    A comparison of two different model checking techniques by Bull, J. J. D

    Published 2012
    Subjects: “…Computer programs -- Validation…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: