Compositionality and Modularity in Embedded System Design: Interface Synthesis and Interface Theories, at SRI International

  • Stavros Tripakis (Invited speaker)

Activity: Talk or presentation types › Invited academic talk

Period10 Oct 2011
Held atSRI International, United States
Degree of RecognitionInternational