Controlled composition and abstraction for bottom-up integration and verification of abstract components.

Yunja Choi Moonzoo Kim

Published in: Inf. Softw. Technol. (2012)

Keyphrases

high level
model checking
data integration
low level
software components
abstraction hierarchy
hardware designs
formal verification
higher level
data fusion
component based architecture
information integration
visual attention
data sets
data driven
image segmentation
e learning
artificial intelligence