Login / Signup

Systematic Composition and Verification of Abstract Components.

Yunja Choi
Published in: COMPSAC (2010)
Keyphrases
  • high level
  • building blocks
  • model checking
  • artificial intelligence
  • digital libraries
  • artificial neural networks
  • higher level
  • qualitative and quantitative