- UHRA Home
- Browsing by Author
Browsing by Author "Mendt, Tamara"
Now showing items 1-2 of 2
-
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker
Mendt, Tamara; Sinz, Carsten; Tveretina, Olga (Springer Nature, 2011) -
Probabilistic Model Checking of Constraints in a Supply Chain Business Process
Mendt, Tamara; Tveretina, Olga; Sinz, Carsten (Springer Nature, 2011)Business process models represent corporate activities, their dependencies and relations, as far as they are needed to reach a specific company goal. In practice, they often exhibit stochastic behavior, e.g., to deal with ...