Component-based arch... Research Projects Application of Stati...

Master thesis

Untersuchung verschiedener Model Checking Werkzeuge bzgl. ihrer Eignung für den Einsatz in der Telekommunikation

(Original Title:Untersuchung verschiedener Model Checking Werkzeuge bzgl. ihrer Eignung für den Einsatz in der Telekommunikation)



Tutor: Dipl.-Inf Marc Spisländer

In Cooperation with: Lucent Technologies