Documents Interfaces for Control Components Rajeev Alur University of Pennsylvania Joint work with Gera Weiss....

Slide 1Interfaces for Control Components Rajeev Alur University of Pennsylvania Joint work with Gera Weiss (and many others) Slide 2 Interface-based Control Design Interface:…

Documents Interfaces for Control Components Rajeev Alur University of Pennsylvania Joint work with Gera Weiss....

Slide 1 Interfaces for Control Components Rajeev Alur University of Pennsylvania Joint work with Gera Weiss (and many others) Slide 2 Interface-based Control Design Interface:…