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

Get full text

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

Get full text

Reducing communication in distributed model checking by Fourie, Jean Francois

Get full text

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

Get full text

Distributed binary decision diagrams by Fasan, Mary Oluwasola

Get full text

FATKID : a Finite Automaton Toolkit by Huysamen, Nico

Get full text