Compositionality and Modularity in Embedded System Design: Interface Synthesis and Interface Theories, at LIAFA Laboratory

Tripakis, S. (Invited speaker)

Activity: Talk or presentation typesPublic or invited talk

Period11 Sep 2012
Degree of RecognitionInternational