Sign in

Formal Modeling and Analysis of a Flash Filesystem in Alloy.

Eunsuk KangDaniel 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