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