Software Verification Tools (Track Introduction).

Markus Schordan Dirk Beyer Irena Bojanova

Published in: ISoLA (4) (2020)

Keyphrases

software tools
artificial intelligence
database
real time
multiscale
neural network
real world
learning algorithm
e learning
image processing
case study
multi agent
decision support
user friendly
management tools