Login / Signup
Safety enforcement via programmable strategies in Maude.
María Alpuente
Demis Ballis
Santiago Escobar
D. Galán
Julia Sapiña
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
decision trees
low cost
access control
database
real world
computer vision
information systems
selection strategies