Modellierung, Modelchecking, Agents

Seminar WT 2000

Modellierung, Modelchecking, Agents

Prof. Dr. G. Schmidt

Termin

Do., 15-17 Uhr, Raum 2417, Geb. 41/400


Vorträge

20. Januar: A. Haidallah
Prozessaspekte zu UML

27. Januar: S. Vogelreuter
Agentensysteme Einführung

3. Februar: M. Göpfert
BDDs and Model Checking

10. Februar: S. Klaus
Tables in Specification and Documentation

9. März: J. Bartelsen
Multiway Decision Diagrams

16. März: S. Wagner, A. Zobel
Multiagent Systems - A Theoretical Framework for Intentions, Know-How, and Communications

23. März: O. Braun
Der Duration Calculus mit Unterstützung in PVS und Isabelle


Ansprechpartner: Wolfram Kahl