Programming assistance based on contracts and modular verification in the automation domain.

Dominik Hurnaus Herbert Prähofer

Published in: SAC (2010)

Keyphrases

programming language
domain independent
domain specific
learning algorithm
computer science
model checking
transfer learning
development environment
programming environment
modular neural networks