L'état de départ :
|
(TransEc = FALSE & \n APDUR_StatusWord /= APDU_ISOSW_Ok)
|
L'état d'arrivée :
|
(TransEc = TRUE & \n APDUR_StatusWord = APDU_ISOSW_Ok)
|
|
Événement numero 1
|
Nom de l'événement :
|
INS_APDU_InitializeTransaction
|
Condition declanchabilité :
|
|
Condition atteignabilité :
|
|