Verification of the Coherence of the UML – ENST PA

Globalplatform card specification v2.1.1