Showing 1 - 15 results of 15 for search 'Böhm, P', query time: 4.59s
Refine Results
-
1
A Formalised Framework for Incremental Modelling of On−Chip Communication by Böhm, P
Published 2010Conference item -
2
Formal Verification of a Clock Synchronization Method in a Distributed Automotive System by Böhm, P
Published 2007Thesis -
3
A Framework for Incremental Modelling and Verification of On−Chip Protocols by Böhm, P
Published 2010Conference item -
4
Incremental Modelling and Verification of the PCI Express Transaction Layer by Böhm, P
Published 2009Conference item -
5
Incremental and Verified Modelling of the PCI Express Protocol by Böhm, P
Published 2010Journal article -
6
-
7
Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T
Published 2015Report -
8
A Refinement Approach to Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T
Published 2008Conference item -
9
A Refinement Approach to Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T
Published 2008Conference item -
10
Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T
Published 2015Report -
11
Design and Verification of On−Chip Communication Protocols by Böhm, P, Melham, T
Published 2008Conference item -
12
DNA methylation : development, genetic disease and cancer / by Doerfler, W., Bohm, P.
Published 2006 -
13
Correctness of a Fault−Tolerant Real−Time Scheduler and its Hardware Implementation by Alkassar, E, Böhm, P, Knapp, S
Published 2008Conference item -
14
Klinische Sportmedizin by Bohm P, Abdul-Khaliq H, Rentzsch A, Scharhag J, Meyer T
Published 2015-05-01
Article -
15
Towards the Formal Verification of Lower System Layers in Automotive Systems by Beyer, S, Böhm, P, Gerke, M, Hillebrand, M, der Rieden, T, Knapp, S, Leinenbach, D, Paul, W
Published 2005Conference item