C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.
Thi Thieu Hoa Le
Roberto Passerone
Uli Fahrenberg
Axel Legay
Published in:
ACM Trans. Embed. Comput. Syst. (2016)
Keyphrases
</>
program synthesis
machine learning
multiresolution
supply chain
singular value decomposition
neural network
learning algorithm
decision making
image processing
decision trees
database systems
evolutionary algorithm
texture synthesis
software design