Direkt zum Inhalt springen
Direkt zu Textvergrößerung und Kontrast springen
Servicenavigation
DFG Homepage
Impressum / Kontakt
|
Hilfe
|
Datenmonitor
English
Hauptnavigation
Suche
Katalog
Personenindex
Ortsindex
Über GEPRIS
Detailseite
Zurück
Institution
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems (CPS)
Adresse
Bibliothekstraße 5
28359 Bremen
Deutschland
GERiT
Diese Institution in GERiT
28359 Bremen
Projekte
Sachbeihilfen
laufende Projekte
Freischaltung analoger Funktionen und volle Parallelität für die HDL-basierte Synthese von PLiM
(Antragstellerinnen / Antragsteller
Drechsler, Rolf
;
Shirinzadeh, Saeideh
)
abgeschlossene Projekte
Abstraktion und Wiederverwendung von formalen Programmentwicklungen
(Antragsteller
Lüth, Christoph
)
Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB).
(Antragsteller
Lüth, Christoph
)
Schwerpunktprogramme
laufende Projekte
EMBOSOM - Sicherheit eingebetteter Software durch moderne emergente Hardware-Paradigmen.
(Antragsteller
Drechsler, Rolf
;
Güneysu, Tim Erhan
;
Lüth, Christoph
;
Sasdrich, Pascal
)
Sonderforschungsbereiche
laufende Projekte
SFB 1320: Wissenschaft der Alltagsaktivitäten – Analytische und generative Modellierung
(Sprecher
Beetz, Ph.D., Michael
)
Zusatzinformationen
© 2024
DFG
Kontakt / Impressum
/
Datenschutz
Textvergrößerung und Kontrastanpassung
»