
			AG Vernetzte Systeme Personen Dennis Christmann

Dr. Dennis Christmann

Arbeitsgebiete

Mikroprotokolle und SDL
Modellbasierte Entwicklung
Optimierung von in SDL spezifierten Systemen
Simulatoren

Adressen

Postadresse:		Hausadresse:
Technische Universität Kaiserslautern Fachbereich Informatik AG Vernetzte Systeme Postfach 3049 67653 Kaiserslautern, Germany		Technische Universität Kaiserslautern AG Vernetzte Systeme Geb. 36 / Raum 422 Erwin-Schrödinger-Str. 67663 Kaiserslautern

Telefon:		Telefax:
+49 631/205-4408		+49 631/205-3956

e-mail:		WWW:
Öffentlicher PGP-Schlüssel Fingerabdruck: 8A89 AC54 E35B 45A9 5DFD 5915 E2EB DB29 2285 EBCB		vs.informatik.uni-kl.de/people/christmann/

Publikationen

Liste aller Veröffentlichungen

	Übergeordnete Seite: Personen und Adressen
	Mitarbeiter der Arbeitsgruppe "Vernetzte Systeme"

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.