Research

Projects

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

	Ambient Intelligence

	Generic Communication Systems
	SFB 501, Teilprojekt B4

	SDL Formal Semantics Project

	Protocol Implementation with FDTs
	DFG-Projekt Go 503/4-1

	FOREST - Formal Requirement Specification Technique

Organisations

	Deutsche Forschungsgemeinschaft (DFG)

	Gesellschaft für Informatik (GI)

	SDL Forum Society

	Superordinated page: AG Vernetzte Systeme

	Feedback
	Email to the person in charge of this page (vs_www@informatik.uni-kl.de)

	Deutsch
	This page in german. Diese Seite auf deutsch.