Showing 1 - 6 results of 6 for search 'Geldenhuys, Jaco', query time: 0.27s Refine Results
  1. 1
    Distributed binary decision diagrams
    by Fasan, Mary Oluwasola
    Published 2010
    Other Authors: “...Geldenhuys, Jaco...”
    Get full text
    Others
  2. 2
    QoS routing in IP networks using multi-constrained computational methods
    by Fathelrahman, T. M. (Tayseer)
    Published 2010
    Other Authors: “...Geldenhuys, Jaco...”
    Get full text
    Others
  3. 3
    Formal specification and verification of safety interlock systems: A comparative case study
    by Seotsanyana, Motlatsi
    Published 2008
    Other Authors: “...Geldenhuys, Jaco...”
    Get full text
    Others
  4. 4
    Reducing communication in distributed model checking
    by Fourie, Jean Francois
    Published 2009
    Other Authors: “...Geldenhuys, Jaco...”
    Get full text
  5. 5
    FATKID : a Finite Automaton Toolkit
    by Huysamen, Nico
    Published 2012
    Other Authors: “...Geldenhuys, Jaco...”
    Get full text
    Others
  6. 6
    Automated program generation : bridging the gap between model and implementation
    by Bezuidenhout, Johannes Abraham
    Published 2012
    Other Authors: “...Geldenhuys, Jaco...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search