Name:	Professor H Zedan
Organisation:	De Montfort University
Department:	Computer Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/M32474/01 COMPOSITIONAL METHODS FOR HARDWARE/SOFTWARE CO-DESIGN (P) GR/M02583/01 A UNIFIED MECHANISM FOR INFORMATION SYSTEMS DEFINITION (P) GR/K16715/02 A COMPOSITIONAL APPROACH TO THE SPECIFICATION OF SYSTEMS USING ITL AND TEMPURA (P) GR/K16715/01 A COMPOSITIONAL APPROACH TO THE SPECIFICATION OF SYSTEMS USING ITL AND TEMPURA (P) GR/K69643/01 A DESIGN CALCULUS FOR THE RESOURCE ANALYSIS OF REAL-TIME SYSTEMS (P) GR/J15889/01 A DESIGN CALCULUS FOR THE RESOURCE ANALYSIS OF REAL-TIME SYSTEMS (P) GR/H43540/01 DISTRIBUTED COMPUTATION OF DYNAMIC TRAFFIC EQUILIBRIA ON LARGE NETWORKS (C) GR/J59937/01 INTEGRATING FORMAL SPECIFICATIONS OF FUNCTIONAL & TIMING BEHAVIOUR OF REAL-TIME SYSTEMS IED4/1/2083 (P) GR/H39611/01 REAL-TIME SYSTEMS ENGINEERING (C) GR/F98055/01 INTEGRATING FORMAL SPECIFICATIONS OF FUNCTIONAL & TIMING BEHAVIOUR OF REAL TIME SYSTEMS(IED4/1/2083) (P) GR/G31000/01 PARALLEL HARDWARE TO SUPPORT STUDIES IN FAULT TOLER- ANCE PARALLEL ALGORITHMS AND FUNCTIONAL PROGRAMMING (C) GR/F35920/01 REAL-TIME SYSTEMS THE NEXT GENERATION (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator