Sezifikation und Verifikation eines Separation of Duty-Szenarios als verbindliche Telekoopertation im Sinne des Gleichgewichtsmodells

Under CopyrightFox, S.S.Fox2022-03-0625.8.20121998https://publica.fraunhofer.de/handle/publica/27337010.24406/publica-fhg-273370de004Sezifikation und Verifikation eines Separation of Duty-Szenarios als verbindliche Telekoopertation im Sinne des Gleichgewichtsmodellsdiploma thesis