Using capabilities for strict runtime invariant checking.

Isaac Oscar Gariano Marco Servetto Alex Potanin

Published in: Sci. Comput. Program. (2022)

Keyphrases

data sets
real time
neural network
real world
data mining
computer vision
processing capabilities