Items where Author is "Mendt, Tamara"

Number of items: 2.
Other
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina
  • Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011) Tamara Mendt, Olga Tveretina and Carsten Sinz