Component-based arch... Theses on offer Vergleichende Bewert...

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)



Author: Yang Yang

Tutor: Dipl.-Inf Marc Spisländer

In Cooperation with: Lucent Technologies