Login / Signup
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