Agile validation of model transformations using compound F-Alloy specifications.

Loïc Gammaitoni Pierre Kelsen Qin Ma

Published in: Sci. Comput. Program. (2018)

Keyphrases

probabilistic model
high level
mathematical model
specification language
multiscale
probability distribution
theoretical framework