Login / Signup
An Algebraic Framework for Runtime Verification.
Stefan Jaksic
Ezio Bartocci
Radu Grosu
Dejan Nickovic
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
</>
lightweight
main contribution
metadata
data model
neural network
data mining
artificial intelligence
decision trees
image segmentation
relational databases
user interface
conceptual framework