Items where Division is "Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security" and Year is 2000

A

Abdallah, Ali E. (2000) Filter promotion transformation strategies for deriving efficient programs from Z specifications. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference. IEEE Conference Publications, pp. 157-167. ISBN 0-7695-0822-7

Abdallah, Ali E. and Green, M. (2000) An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference. IEEE Conference Publications, pp. 189-198. ISBN 0-7695-0822-7

Abdallah, Ali E. and Hawkins, J. (2000) Calculational design of special purpose parallel algorithms. In: Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference. IEEE Conference Publications, pp. 261-267. ISBN 0-7803-6542-9

Abdallah, Ali E. and Simiakakis, G. and Theoharis, T. (2000) Formal development of a reconfigurable tool for parallel DNA matching. In: Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference. IEEE Conference Publications, pp. 268-272. ISBN 0-7803-6542-9