H. S. M. Zedan

• Distributed computer systems
• Object-oriented technology and computing systems re-engineering
• Real-Time Systems with Transputers, (OUG-13) (Transputer and Occam Engineering Systems)
• A case study in real-time refinement
• Distributed Computer Systems
• Logical design of VLSI circuit with extension of uncertainty
• PSP
• Research issues in the formal development of dependable real-time systems