TIKI Home INFORMATIK VII

Theoretische Informatik und
Grundlagen der Künstlichen Intelligenz

Informatik TUM




Hauptseminar

"Kommunikation und Koordination in verteilten intelligenten Softwaresystemen - Formale Modellierung, Spezifikation und Verifikation"

angeboten im WS2001/2002 an der Forschungs- und Lehreinheit VII
des Instituts für Informatik der TU München



Leitung und Durchführung

Prof. Dr. Dr. h.c. Wilfried Brauer
Michael Rovatsos, Matthias Nickles, Gerhard Weiß (verantwortliche Mitarbeiter)


Inhalt


Voraussetzung für die Teilnahme

Schein


Vorbesprechung, Anmeldung und Teilnehmerzahl


Vortragstermine und -ort


Ansprechpartner