- Page 1 and 2: Universidade Federal do Rio Grande
- Page 3: JCML - JAVA CARD MODELING LANGUAGE:
- Page 7 and 8: ResumoMétodos formais poderiam ser
- Page 9 and 10: Sumário1 Introdução 171.1 Motiva
- Page 11 and 12: 5 JCML - Java Card Modeling Languag
- Page 13 and 14: Lista de Figuras2.1 Smart Card. . .
- Page 15 and 16: 4.10 Método credit compilado com J
- Page 17 and 18: Lista de Tabelas3.1 Exemplo de Cont
- Page 19 and 20: CAPÍTULO 1. INTRODUÇÃO 18tecnolo
- Page 21 and 22: Capítulo 2Smart CardsUm smart card
- Page 23 and 24: CAPÍTULO 2. SMART CARDS 22• habi
- Page 25 and 26: CAPÍTULO 2. SMART CARDS 24Figura 2
- Page 27 and 28: CAPÍTULO 2. SMART CARDS 26Figura 2
- Page 29 and 30: CAPÍTULO 2. SMART CARDS 2801 impor
- Page 31 and 32: CAPÍTULO 2. SMART CARDS 302.2 Dese
- Page 33 and 34: CAPÍTULO 2. SMART CARDS 3201 publi
- Page 35 and 36: CAPÍTULO 2. SMART CARDS 3401 priva
- Page 37 and 38: CAPÍTULO 2. SMART CARDS 36APDU.
- Page 39 and 40: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 41 and 42: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 43 and 44: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 45 and 46: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 47 and 48: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 49 and 50: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 51 and 52: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 53 and 54: CAPÍTULO 3. JML - JAVA MODELING LA
- Page 55 and 56:
CAPÍTULO 3. JML - JAVA MODELING LA
- Page 57 and 58:
CAPÍTULO 3. JML - JAVA MODELING LA
- Page 59 and 60:
CAPÍTULO 3. JML - JAVA MODELING LA
- Page 61 and 62:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 63 and 64:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 65 and 66:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 67 and 68:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 69 and 70:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 71 and 72:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 73 and 74:
CAPÍTULO 4. APLICABILIDADE DE JML
- Page 75 and 76:
Capítulo 5JCML - Java Card Modelin
- Page 77 and 78:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 79 and 80:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 81 and 82:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 83 and 84:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 85 and 86:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 87 and 88:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 89 and 90:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 91 and 92:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 93 and 94:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 95 and 96:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 97 and 98:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 99 and 100:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 101 and 102:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 103 and 104:
CAPÍTULO 5. JCML - JAVA CARD MODEL
- Page 105 and 106:
Capítulo 6Trabalhos RelacionadosNe
- Page 107 and 108:
CAPÍTULO 6. TRABALHOS RELACIONADOS
- Page 109 and 110:
Capítulo 7Considerações FinaisA
- Page 111 and 112:
CAPÍTULO 7. CONSIDERAÇÕES FINAIS
- Page 113 and 114:
REFERÊNCIAS BIBLIOGRÁFICAS 112[10
- Page 115 and 116:
REFERÊNCIAS BIBLIOGRÁFICAS 114[35
- Page 117 and 118:
APÊNDICE A. CLASSES DA APLICAÇÃO
- Page 119 and 120:
APÊNDICE A. CLASSES DA APLICAÇÃO
- Page 121 and 122:
APÊNDICE A. CLASSES DA APLICAÇÃO
- Page 123 and 124:
Apêndice BClasses Usuário após s
- Page 125 and 126:
APÊNDICE B. CLASSES USUÁRIO APÓS
- Page 127 and 128:
APÊNDICE B. CLASSES USUÁRIO APÓS
- Page 129 and 130:
APÊNDICE B. CLASSES USUÁRIO APÓS
- Page 131 and 132:
APÊNDICE C. GRAMÁTICA JCML 130C.3
- Page 133 and 134:
APÊNDICE C. GRAMÁTICA JCML 132gen
- Page 135 and 136:
APÊNDICE C. GRAMÁTICA JCML 134[ f