dblp.uni-trier.dewww.uni-trier.de

Peter Böhm Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
4EEEyad Alkassar, Peter Böhm, Steffen Knapp: Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES 2008: 57-67
3EEPeter Böhm, Tom Melham: A Refinement Approach to Design and Verification of On-Chip Communication Protocols. FMCAD 2008: 1-8
2EEEyad Alkassar, Peter Böhm, Steffen Knapp: Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE 2008: 175-186
2005
1EESven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326

Coauthor Index

1Eyad Alkassar [2] [4]
2Sven Beyer [1]
3Michael Gerke [1]
4Mark A. Hillebrand [1]
5Steffen Knapp [1] [2] [4]
6Dirk Leinenbach [1]
7Tom Melham [3]
8Wolfgang J. Paul [1]
9Thomas In der Rieden [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)