Faculté MIN
Departement de l'Informatique
Bases Théoriques de l'Informatique

Berndt Farwer

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


Diese Seite ist in Deutsch verfügbar. This page is available in English. Cette page n'existe pas en Français. Ésta página no existe en Español.


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