Peter Boehm
| Peter Boehm
Doctoral Student
Student,
Balliol College
Peter.Boehm@comlab.ox.ac.uk
+44 (0)1865 610803
|
publications
|
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Lavel
Eyad Alkassar, Peter Böhm and Steffen Knapp
In IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES '08) pages to appear. Springer Science and Business Media, 2008.
Details
|
BibTeX
|
|
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation
Eyad Alkassar, Peter Böhm and Steffen Knapp
In Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008) pages to appear. IEEE Computer Society, 2008.
Details
|
BibTeX
|
|
Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
Technical Report, Oxford University Computing Laboratory. 2008.
Details
|
BibTeX
| Link (html) |
View all
info
location
Room 423, Wolfson Building, Parks Road, Oxford OX1 3QD
|
