C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
CONDEnSe: Contract Based Design Synthesis.
César Augusto Ribeiro dos Santos
Amr Hany Saleh
Tom Schrijvers
Mike Nicolai
Published in:
MoDELS (2019)
Keyphrases
</>
case study
engineering design
knowledge based systems
design process
building blocks
logic synthesis
design space exploration
optimal design
design principles
computer aided
neural network
databases
software architecture
real time
low cost
supply chain
database systems