Static Profiling of Alloy Models.

Elias Eid Nancy A. Day

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

complex systems
image processing
experimental data
databases
information systems
bayesian networks
video sequences
data model
probabilistic model
model selection
statistical model
computational models
random fields
accurate models