Sign in
Bringing AI to the edge: a formal M&S specification to deploy effective IoT architectures.
Román Cárdenas
Patricia Arroba
José Luis Risco-Martín
Published in:
J. Simulation (2022)
Keyphrases
</>
formal specification
artificial intelligence
formal methods
management system
data sets
case based reasoning
high quality
expert systems
edge detection
neural network
formal language
genetic algorithm
machine learning
data mining
intelligent systems
knowledge based systems
model checking
database