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.
Details
|
BibTeX
| Download (pdf) |
|
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.
Details
|
BibTeX
|
View all
info
|
