Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications

Figure 20

FrTp CPN model: PduRFrTpTx Confirmation.