Universität Rostock
No infographics yet
No documents yet
No likes yet
Personal Information
Organization / Workplace
Universität RostockLocation
Rostock GermanyIndustry
Education
About
We develop tools and algorithms for asserting correctness of systems (in hardware or software). Thereby, we focus on two particular topics: first, we develop tools and algorithms for computer aided verification, and second, we develop computer aided assistance for services and service oriented architectures.