Balanced self-checking asynchronous logic for smart card applications

Author： Moore S. Anderson R. Mullins R. Taylor G. Fournier J.J.A.

Publisher： Elsevier

ISSN： 0141-9331

Source： Microprocessors and Microsystems, Vol.27, Iss.9, 2003-10, pp. : 421-430

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On-line self-checking of replication consistency for autonomic computing

By Bartoli Alberto Masarin Giovanni

Cluster Computing, Vol. 9, Iss. 4, 2006-10 ,pp. : 449-463

Springer Publishing Company

Access to resources Recommend Favorite

Asynchronous Forward-checking for DisCSPs

By Meisels Amnon Zivan Roie

Constraints, Vol. 12, Iss. 1, 2007-03 ,pp. : 131-150

Springer Publishing Company

Access to resources Recommend Favorite

Developing a Trojan applets in a smart card

By Iguchi-Cartigny Julien

Journal in Computer Virology, Vol. 6, Iss. 4, 2010-11 ,pp. : 343-351

Springer Publishing Company

Access to resources Recommend Favorite

Coverage metrics for temporal logic model checking^*

By Chockler Hana Kupferman Orna Vardi Moshe

Formal Methods in System Design, Vol. 28, Iss. 3, 2006-05 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

Access to resources Recommend Favorite