Towards Incremental Validation of Railway Systems.

Reiner Hähnle Radu Muschevici

Published in: ISoLA (2) (2016)

Keyphrases

high level
three dimensional
bayesian networks
information retrieval
computer vision
image processing
multiscale
artificial neural networks
multiresolution
special case
management system
distributed systems
intelligent systems
computer systems
knowledge based systems