Minimal fuzzy microcontroller implementation for didactic applications
FREE-DOWNLOAD F Lara-Rojo, EN Sánchez… – Journal of Applied …,
Range analysis of microcontroller code using bit-level congruences
FREE-DOWNLOAD J Brauer, A King… – Formal Methods for Industrial Critical …, 2010 – Abstract. Bitwise instructions, loops and indirect data access pose dif- ficult challenges to the verification of microcontroller programs. In par- ticular, it is necessary to show that an indirect write does not mutate registers, which are indirectly addressable. To prove this […]
GPRS Portable Smart Card Terminal Software Development
The latest addition to the PIN-pad reader product line, ACR880 is a secure and portable smart card terminal that secures and streamlines various transactions using smart card technology. This innovative device is capable of facilitating secure mutual authentication between a card and a reader, detailed multi-layered information from the cards based on embedded access rights, […]