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. |
![[Logo der AG Vernetzte Systeme]](/images/vs.gif)