The e-ACSL perspective on runtime assertion checking.

Julien Signoles

Published in: VORTEX@ISSTA (2021)

Keyphrases

viewpoint
neural network
computer vision
image processing
multi agent
databases
artificial intelligence
website
feature extraction
similarity measure
cooperative
multi agent systems
data analysis
information technology
probabilistic model