Login / Signup
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays.
Josep Carmona
Jordi Cortadella
Yousuke Takada
Ferdinand Peper
Published in:
ACM J. Emerg. Technol. Comput. Syst. (2008)
Keyphrases
</>
formal methods
formal analysis
data model
knowledge base
multiscale
image analysis
scale space
formal model