Login / Signup
Library-based scalable refinement checking for contract-based design.
Antonio Iannopollo
Pierluigi Nuzzo
Stavros Tripakis
Alberto L. Sangiovanni-Vincentelli
Published in:
DATE (2014)
Keyphrases
</>
user interface
database
neural network
case study
design principles
engineering design
relational databases
artificial neural networks
scheduling problem
design process
software architecture
design patterns