CAP Project
The CAP Sino-German Project
Home
Work Packages
WP1: Exploiting Modularity and Compositionality
WP2: Abstraction-Based Model Reduction
WP3: Approaches for Parametrized Systems
Partners & People
Announcements
Publications
Deliverables
Two papers accepted in SETTA’17
andrea
August 1, 2017
November 7, 2017
Publication