Login / Signup
LOCKE Detailed Specification Tables
Lucia G. Menezo
Valentin Puente
José-Ángel Gregorio
Published in:
CoRR (2012)
Keyphrases
</>
database
databases
high level
formal specification
data sets
search algorithm
multi agent
evolutionary algorithm
business rules
formal verification
asynchronous circuits