Verifying System-Wide Properties of Industrial Component-Based Software.

Thomas Neele Marijn Rol Jan Friso Groote

Published in: FSEN (2019)

Keyphrases

component based software
software systems
industrial applications
machine learning
wide range
cooperative
neural network
real world
data structure
feature space
relational databases
development process
topological properties
integration testing