Sign in
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.
Luciano Lavagno
Marco Di Natale
Alberto Ferrari
Paolo Giusto
Published in:
UML Satellite Activities (2004)
Keyphrases
</>
design process
error rate
machine learning
information retrieval
decision trees
building blocks
computer aided