OXFORD UNIVERSITY COMPUTING LABORATORY

Tom Melham

Personal photo - Tom Melham

Professor Tom Melham FRSE

Professor of Computer Science
Tutorial Fellow, Balliol College

+44 (0)1865 273824
+44 (0)1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

links

Personal Web Pages
List of all Publications

publications

Design and Verification of On-Chip Communication Protocols

Peter Böhm, Tom Melham

No. RR-08-05, Technical Report, OUCL. 2008.

A Refinement Approach to Design and Verification of On-Chip Communication Protocols

Peter Böhm, Tom Melham

In Proceedings of the Eighth Conference on Formal Methods in Computer-Aided Design (FMCAD'08) IEEE Computer Society, 2008.

to appear.

View all

info

themes

activities

projects

students

Random Image
Random Image
Random Image