Aspects of Formal and Graphical Design of a Bus System.

Tiberiu Seceleanu Tomi Westerlund

Published in: DATE (2004)

Keyphrases

design tools
computer aided
design space
machine learning
artificial intelligence
computer science
design solutions
database
information retrieval
high speed
formal methods