Login / Signup
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding.
César Cornejo
María Marta Novaira
Sonia Permigiani
Nazareno Aguirre
Marcelo F. Frias
Simón Gutiérrez Brida
Germán Regis
Published in:
ABZ (2024)
Keyphrases
</>
probabilistic model
computational model
statistical model
objective function
management system
website
similarity measure
theoretical analysis
mathematical model
formal model
neural network
high level
cost function
mobile robot