Project Schwerp.: Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren

Basic data

Title:
Schwerp.: Modellierung und Bewertung eingebetteter Software mit statischen Analyseverfahren
Duration:
15/03/2001 to 15/02/2005
Keywords:
Hardware/Software-Co-Design
design automation
Entwurfsautomatisierung
embedded systems
Eingebettete Systeme

Involved staff

Managers

Faculty of Science
University of Tübingen
Department of Informatics
Faculty of Science
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science

Local organizational units

Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science

Funders

Bonn, Nordrhein-Westfalen, Germany
Help

will be deleted permanently. This cannot be undone.