Login / Signup
Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes.
Redouane Bouchekir
Saïda Boukhedouma
Mohand Cherif Boukala
Published in:
SIMULTECH (2016)
Keyphrases
</>
context sensitive
bayesian networks
fully automatic
data driven
probabilistic model
face verification
desirable properties
structural properties
semi automatic
real world
data sets
process model
data structure
case study
information systems
learning algorithm
neural network