Detailseite

Professor Dr. Klaus Schneider

Adresse Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Eingebettete Systeme
Postfach 3049
67653 Kaiserslautern

Projekte

Als Antragsteller
- laufende Projekte
  - Modellierung und Verifikation von sicheren und performanten cyberphysikalischen Systemen (Sachbeihilfen)
  - SCAD: Synchrone Kontroll-/Asynchrone Datenfluss (SCAD) Architekturen (Sachbeihilfen)
- abgeschlossene Projekte
  - Modellbasierter Entwurf von Hardware-Software-Systemen mit synchronen Sprachen (Sachbeihilfen)
  - Automatisierte Synthese von Programmausdrücken (AutoSynth) (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Robustheit gegenüber schwachen Speichermodellen (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Klaus Schneider

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Klaus Schneider

Zusatzinformationen

Textvergrößerung und Kontrastanpassung