Project Details
Person
Professor Dr. Jan Peleska
Address
Universität Bremen
TZI Technologie-Zentrum Informatik und Informationstechnik
Bibliothekstraße 5
28359 Bremen
ORCID-ID 0000-0003-3667-9775
-
As Applicant
-
Completed projects
-
Effiziente Analyse von hybriden Systemen (Priority Programmes)
-
CPOT-SM – Complete Property-oriented Testing with Symbolic Methods (Research Grants)
-
-
Completed projects
- As Participating Person
