Forschung

Projekte

 µPros - Mikroprotokollbasierte Entwicklung adaptiver integrierter mobiler Ad-hoc-Netzwerke
DFG-Projekt Go503/5-1

 Ambient Intelligence

 Generische Kommunikationssysteme
SFB 501, Teilprojekt B4

 SDL Formal Semantics Project

 Protokollimplementierung mit FDTs - Vom Prototyp zum effizienten Code
DFG-Projekt Go 503/4-1

 FOREST - Formal Requirement Specification Technique

Organisationen

 Deutsche Forschungsgemeinschaft (DFG)

 Gesellschaft für Informatik (GI)

 SDL Forum Society




 Übergeordnete Seite: AG Vernetzte Systeme

 Feedback
Email an den Verantwortlichen dieser Seite (vs_www@informatik.uni-kl.de)

 English
This page in english. Diese Seite auf englisch.