Abstract
A transacted memory that is implemented using EEPROM technology offers persistence, undoability and auditing. The transacted memory system is formally specified in Z, and refined in two steps to a prototype C implementation / SPIN model. Conclusions are offered both on the transacted memory system itself and on the development process involving multiple notations and tools. © Springer-Verlag Berlin Heidelberg 2001.
Cite
CITATION STYLE
Hartel, P. H., Butler, M. J., De Jong, E., & Longley, M. (2001). Transacted memory for smart cards. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2021 LNCS, pp. 478–499). Springer Verlag. https://doi.org/10.1007/3-540-45251-6_28
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
