Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Berndt Farwer

seit Oktober 2010: University of Glamorgan, U.K.
PRIVATE HOMEPAGE

Attention!
Cette page n'est plus réactualisée. September 2006

Position:
ancien assistant professeur
Projets actuels:
"Model Checking Agent Programming Languages"
(seulement en Anglais)
Modèles des Automates Concurrents
Logik und Petrinetze (seulement en Allemand)
Dynamische Petrinetzstrukturen (seulement en Allemand)
Model-Checking für Objekt-Petrinetze (seulement en Allemand)
Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (seulement en Allemand)
Projets anciens
Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
Toward a unifying framework for concurrency
Affiliation (international):
EATCS (European Association for Theoretical Computer Science)
ASL (Association for Symbolic Logic)
Membre de (Université)
Prüfungsausschuß
Bibliotheksausschuß (stellv.)
Fachbereichstrat (stellv.)
Kommission für englischsprachige Lehrveranstaltungen
Bibliographie

Dernière modification: 17:40 19.05.2011
Responsable du site/mentions légales