Sign in
Formal Modeling and Analysis of a Flash Filesystem in Alloy.
Eunsuk Kang
Daniel Jackson
Published in:
ABZ (2008)
Keyphrases
</>
real time
neural network
data analysis
quantitative analysis
information retrieval
artificial intelligence
knowledge base
case study
expert systems
multiresolution