Search Results - Geldenhuys, Jaco

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

    Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

    Published 2012
    Other Authors: “…Geldenhuys, Jaco…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Formal specification and verification of safety interlock systems: A comparative case study by Seotsanyana, Motlatsi

    Published 2008
    Other Authors: “…Geldenhuys, Jaco…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Reducing communication in distributed model checking by Fourie, Jean Francois

    Published 2009
    Other Authors: “…Geldenhuys, Jaco…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    QoS routing in IP networks using multi-constrained computational methods by Fathelrahman, T. M. (Tayseer)

    Published 2010
    Other Authors: “…Geldenhuys, Jaco…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  5. Cover Image

    Distributed binary decision diagrams by Fasan, Mary Oluwasola

    Published 2010
    Other Authors: “…Geldenhuys, Jaco…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    FATKID : a Finite Automaton Toolkit by Huysamen, Nico

    Published 2012
    Other Authors: “…Geldenhuys, Jaco…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: