Multi-Level Assertion-Based Design.

Hans Eveking Martin Braun Martin Schickel Martin Schweikert Volker Nimbler

Published in: MEMOCODE (2007)

Keyphrases

design process
real world
machine learning
knowledge based systems
database
real time
databases
image processing
multi agent systems
object oriented
computer aided
design principles
product design