The correctness of a distributed real-time system [Elektronische Ressource] / Steffen Knapp

Description

SSAATRIASVRThe Correctness of a DistributedReal-Time SystemDissertationZum Erlangen des GradesDoktor der Ingenieurswissenschaften (Dr.-Ing.)der Naturwissenschaftlich-Technischen Fakultaten¨der Universitat¨ des SaarlandesSteffen [e-mail]¨ en, Juli 2008IEEVNISNIUSTag des Kolloquiums: 07.07.2008Dekan: Prof. Dr. Joachim WeickertVorsitzender des Prufungsausschusses:¨ Prof. Dr. Reinhard Wilhelm1. Berichterstatter: Prof. Dr. Wolfgang Paul2. Prof. Dr. Wolfgang Kunzakademischer Mitarbeiter: Dr. Mark HillebrandHiermit versichere ich an Eides statt, dass ich die vorliegende Arbeit selbststandig¨ undohne Benutzung anderer als der angegebenen Hilfsmittel angefertigt habe. Die ausanderen Quellen oder indirekt ubernommenen¨ Daten und Konzepte sind unter Angabeder Quelle gekennzeichnet. Die Arbeit wurde bisher weder im In- noch im Auslandin gleicher oder ahnlicher¨ Form in einem Verfahren zur Erlangung eines akademischenGrades vorgelegt.Saarbruck¨ en, Juli 2008Steffen KnappZitat:“Man kann niemanden uberholen¨ ,wenn man in seine Fußstapfen tritt.”Francois TruffautDankeAn dieser Stelle mochte¨ ich mich bei Allen bedanken, die zum Gelingen dieser Arbeitbeigetragen haben:Zuerst Herrn Professor Dr. Wolfgang J. Paul fur¨ die Vergabe des spannenden undherausfordernden Themas und die wissenschaftliche Unterstutzung¨ meiner Promotion.

Sujets

• Informatik

Informations

• Publié par: universitat_des_saarlandes
• Publié le: 01 janvier 2008
• Nombre de lectures: 22
• Langue: Deutsch
• Poids de l'ouvrage: 1 Mo

Extrait