|
Name: |
Dr D Milford |
Organisation: |
University of Bristol |
Department: |
Electrical and Electronic Engineering |
Current EPSRC-Supported Research
Topics: |
|
Current EPSRC Support |
There is no current EPSRC Support |
Previous EPSRC Support |
GR/J52310/01 | AUTOMATED SYNTHESIS OF SYNCHRONOUS AND ASYNCHRONOUS PARALLEL CONTROLLERS | (C) |
GR/H14298/01 | VERIFICATION USING BINARY DECISION DIAGRAMS | (C) |
GR/F98307/01 | VERIFICATION USING BINARY DECISION DIAGRAMS | (C) |
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
|
|
|
|