Login / Signup
A Formal Framework and a Tool to Process and Simulate Labelled Reconfigurable Nets Models Based on Graph Transformation.
Nardjes Dehimi
Raida Elmansouri
Allaoua Chaoui
Published in:
NDT (2) (2012)
Keyphrases
</>
process model
graph transformation
probabilistic model
modeling framework
conceptual model
formal models
main contribution
theoretical framework
low cost
statistical models
development process
formal model
mathematical framework
modeling tool
lightweight
parameter estimation
bayesian framework
prior knowledge