• 已选条件：
  • × Geldenhuys, Jaco
  • × 学位论文
  • × Computer
  • × 瑞士
 全选  【符合条件的数据共：5条】

1 Automated program generation : bridging the gap between model and implementation [学位论文]

2012年

Bezuidenhout, Johannes Abraham, Geldenhuys, Jaco

null | 英文

预览  |  原文链接  |  全文  [ 浏览：0 下载：0  ]    

2 Reducing communication in distributed model checking [学位论文]

2009年

Fourie, Jean Francois, Geldenhuys, Jaco

null | 英文

预览  |  原文链接  |  全文  [ 浏览：4 下载：1  ]    

3 Distributed binary decision diagrams [学位论文]

2010年

Fasan, Mary Oluwasola, Geldenhuys, Jaco

null | 英文

预览  |  原文链接  |  全文  [ 浏览：5 下载：0  ]    

4 Formal specification and verification of safety interlock systems: A comparative case study [学位论文]

2007年

Seotsanyana, Motlatsi, Geldenhuys, Jaco

null | 英文

预览  |  原文链接  |  全文  [ 浏览：5 下载：2  ]    

5 FATKID : a Finite Automaton Toolkit [学位论文]

2012年

Huysamen, Nico, Geldenhuys, Jaco

null | 英文

预览  |  原文链接  |  全文  [ 浏览：5 下载：2  ]