Verifying Component and Connector Models against Crosscutting Structural Views.

Shahar Maoz Jan Oliver Ringert Bernhard Rumpe

Published in: CoRR (2014)

Keyphrases

database
open source
building blocks
statistical model
statistical models
data sets
real world
database systems
probabilistic model
experimental data
model checking
multiple views