Process-oriented Approach to Verification in Engineering.

Ekaterina Auer Roger Cuypers Wolfram Luther

Published in: ICINCO (2) (2012)

Keyphrases

artificial intelligence
neural network
machine learning
real time
genetic algorithm
social networks
design process
engineering design
formal methods