Modelisation et verification dans les cartes a puce

• Autores: J.-L. Lanet, T. Jensen
• Localización: Revue de l' electricite et de l' electronique, ISSN 1265-6534, Nº 6, 2004, págs. 89-94
• Idioma: francés
• Texto completo no disponible (Saber más ...)