Projekte
Die nachfolgend aufgeführten Drittmittel- und Hausprojekte werden derzeit an der Professur bearbeitet, gefolgt von einer Übersicht zu bereits abgeschlossenen Projekten.
Tag Cloud
- Alle 94
- ASIC-Design 5
- Automatic Test Equipment (ATE) 4
- Automotive 5
- Autonome Roboter 3
- Barrierefreiheit 2
- Batteriemanagement 2
- Carbon 2
- Datenübertragung 3
- Digitale Bildverarbeitung 4
- Echtzeitsystem 2
- EDA-Tools 2
- Elektromobilität 5
- Embedded Systems 2
- Energieeffizienz 4
- Energy Harvesting 2
- Fahrzeugnavigation 2
- Farbklassifikation 2
- Faser-Kunststoff-Verbunde 3
- Formale Methoden 3
- FPGA 9
- Funklokalisierung 2
- Funkortung 4
- Hardware 2
- Hardware-Synthese 2
- Hardwareentwurf 2
- Indoor-Lokalisierung 2
- Kommunikation 2
- Künstliche Intelligenz 2
- Lademanagement 2
- Lokalisierung 8
- Modellierung 2
- Operationseigenschaften 2
- OTN 2
- RFID 3
- Roboterfahrzeug 2
- Schaltkreisentwurf 2
- Sensoren 6
- Sensorsystem 3
- SKE-Praktikum 2
- Software 3
- Spezifikation 3
- System-on-Chip (SoC) 3
- SystemC-AMS 2
- Systementwurf 7
- Test 4
- Verifikation 5
- VHDL 2
- VHDL-AMS 2
- Zuverlässigkeit 3
- ÖPNV 4
Aktuelle Projekte zum Thema Formale Verifikation
Abgeschlossene Projekte zum Thema Formale Verifikation
| Herkules - Hardwareentwurfstechnik für Null-Fehler-Designs | BMBF |
