Ermittlung der Verte... Theses on offer Bestimmung der Kontr...

Student thesis

Analysis and comparison of different modelling languages and coverage criteria for concurrent systems

(Original Title:Analyse und Vergleich verschiedener Modellsprachen und Überdeckungskriterien für nebenläufige Systeme)

Download description  Download description

 

Summarisation

Author: Raimar Lill

Tutor: Dr. Sven Söhnlein