-
FlexRay demonstrator for certification
International audience -
On the Formal Verification of the FlexRay Communication Protocol
We present ongoing work on the formal analysis of the FlexRay communication protocol. Isabelle/HOL, a theorem prover for Higher Order Logic, is chosen as our... -
Présentation du réseau FlexRay - comparaison avec TTP/C
Colloque sur invitation. -
Impact of Fault Tolerance Mechanisms on X-by-Wire system dependability
Colloque avec actes et comité de lecture. nationale.
