Endowed professorship for reliable software systems in the automotive industry

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker

  • Author:

    Tamara Mendt, Carsten Sinz, Olga Tveretina

  • Source:

    Business Information Systems Workshops - BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011. Revised Papers. :18-29