Tamara Mendt

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Tamara Mendt, Carsten Sinz, Olga Tveretina
Probabilistic Model Checking of Constraints in a Supply Chain Business Process. BIS (2011)
Tamara Mendt, Carsten Sinz, Olga Tveretina
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. BIS (Workshops) (2011)