Search Results - De Villiers, P. J. A.

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

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

    Published 2006
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    A language to support verification of embedded software by Swart, Riaan

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Efficiency issues in the design of a model checker by Geldenhuys, Jacobus

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Device drivers : a comparison of different development strategies by Loubser, Johannes Jacobus

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    On providing an efficient and reliable virtual block storage service by Esterhuyse, Eben

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  7. Cover Image

    A software restructuring tool for oberon by Eloff, Johannes J.

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  8. Cover Image

    LF : a language for reliable embedded systems by Van Riet, F. A.

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. Cover Image

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

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  10. Cover Image

    Development of a tool to test computer protocols by Myburgh, W. D.

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    A development environment for reactive systems by De Wet, Matthys Johannes de Villiers

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    Kernel support for embedded reactive systems by Ackerman, M. C . (Marthinus Casper)

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  13. Cover Image

    An efficient kernel to support the client-server model by Fouche, Werner

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  14. Cover Image

    Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

    Published 2012
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Providing mechanical support for program development in a weakest precondition calculus by Ackerman, Charlotte Christene

    Published 2013
    Other Authors: “…De Villiers, P. J. A.…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: