Forschung
Projekte |
FERAL - a holistic model-driven simulation framework for virtual prototypes | |
A holistic model-driven simulation framework for virtual prototypes. |
Sinnodium Task 6.1.4 - Adaptive Services in Networked Production Environments | |
Adaptive services in networked production environments. |
SDL Package Substitution tool | |
Tool to manage big SDL systems |
Embedded, flexible and roboust bootloader for the Imote2 Hardware | |
Abgeschlossene Projekte |
µPros - Mikroprotokollbasierte Entwicklung adaptiver integrierter mobiler Ad-hoc-Netzwerke | |
DFG-Projekt Go503/5-1 |
Ambient Systems | |
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 | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |