Assisted design for automation systems - From formal requirements to final designs.

Natalia Moriz Björn Böttcher Oliver Niggemann Josef Lackhove

Published in: ETFA (2014)

Keyphrases

design principles
design space
design requirements
design process
engineering design
design decisions
design criteria
real time
neural network
search engine
case study
user interface
data model
formal methods
functional requirements