Login / Signup
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis.
Mohammed Foughali
Félix Ingrand
Anthony Mallet
Published in:
CoRR (2018)
Keyphrases
</>
formal models
rule based systems
process model
formal model
program synthesis
low level
context awareness
conditional independence
data sets
decision trees
bayesian networks
fuzzy logic
distributed systems
rule base
independence assumption