CAP Project

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

B. Braitling meets ISCAS peers at SETTA’15

andreaDecember 30, 2015December 30, 2015 Uncategorized

Bettina Braitling, from ALU, meets several peers from ISCAS during SETTA 2015, held in Nanjing from Nov. 02 to Nov. 05, 2015.

  • ← H. Hermanns from SAU visits ISCAS
  • T. van Dijk and S. Junges visit ISCAS →

Latest news

  • CAP Workshop in Beijing
  • Paper accepted in IJCAI’18
  • Paper accepted in PLDI’18
  • Paper accepted in VMCAI’18
  • SETTA’17 best paper award

Admin area

  • Log in
Copyright © 2025 CAP Project. Theme by Colorlib Powered by WordPress