C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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