Compositionality and Modularity in Embedded System Design: Interface Synthesis and Interface Theories, at University of Illinois at Urbana-Champaign

Tripakis, S. (Invited speaker)

Activity: Talk or presentation typesPublic or invited talk

Period24 Sep 2012
Held atUniversity of Illinois at Urbana-Champaign, United States, Illinois
Degree of RecognitionInternational