๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Mechanising a formal model of flash memory

โœ Scribed by Andrew Butterfield; Leo Freitas; Jim Woodcock


Book ID
108261895
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
794 KB
Volume
74
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An Abstract Fault Model for NAND Flash M
โœ Yun, Ji Hyuck; Yoon, Jin Hyuk; Nam, Eyee Hyun; Min, Sang Lyul ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Institute of Electrical and Electronics Engineers ๐ŸŒ English โš– 385 KB