Inhalt des Dokuments
Laufende Projekte
- SFAssist- Automatische Strukturverbesserungen von Stateflow-Automaten
- VERAPRO - Vertraulichkeit für alle Programme
- VATES2 - Verification and Transformation of Embedded Systems
- ArtistDesign – Design for Embedded Systems
- Effektive Komplexität von Software-Modellen (ECoSMo)
- Korrekte Modelltransformationen (KorMoran)
gefördert von der DFG - Graduiertenkolleg: Serviceorientierte Architekturen zur Integration softwaregestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED)
- Reliable Embedded System design based on Co-verification in a Unified Environment (RESCUE)
Abgeschlossene Projekte
- Change Impact-Analysen für Software-Modelle (CISMo)
- Eliteförderprogramm
- ARTIST2 Network of Excellence on Embedded Systems Design
- Methoden der Modellqualitätsanalyse (MeMo)
- VATES - Verification and Transformation of Embedded Systems
- Aktionsplan Informatik
gefördert von der DFG im Rahmen des Emmy Noether-Programms
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
- Schriftgröße:
