Professor Dr. Jan Peleska

Adresse Universität Bremen
TZI Technologie-Zentrum Informatik und Informationstechnik
Bibliothekstraße 5
28359 Bremen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Effiziente Analyse von hybriden Systemen (Schwerpunktprogramme)
  - CPOT-SM – Vollständiges eigenschaftsorientiertes Testen mit symbolischen Methoden (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Formale Fehlerbaumanalyse, Spezifikation und Testen von hybriden Echtzeitsystemen in Anwendung auf die Servicerobotik (Sachbeihilfen)