Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Jan Peleska

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

Projects

As Applicant
- Completed projects
  - Effiziente Analyse von hybriden Systemen (Priority Programmes)
  - CPOT-SM – Complete Property-oriented Testing with Symbolic Methods (Research Grants)
As Participating Person
- Completed projects
  - Formal hazard analysis, specification and testing of hybrid real-time systems in application to service robotics (Research Grants)

© 2025 DFG Disclaimer / Copyright / Privacy Policy