Publication | Closed Access
Balanced self-checking asynchronous logic for smart card applications
80
Citations
7
References
2003
Year
Hardware SecurityEngineeringVerificationComputer ArchitectureComputer EngineeringFormal MethodsBuilt-in Self-testComputer-aided VerificationComputer ScienceFormal VerificationSelf-stabilizationSmart Card ApplicationsAsynchronous Circuits
| Year | Citations | |
|---|---|---|
Page 1
Page 1