Compositionality and Modularity in Embedded System Design: Interface Synthesis and Interface Theories, at University of Illinois at Urbana-Champaign
- Stavros Tripakis (Invited speaker)
Activity: Talk or presentation types › Invited academic talk
Activity: Talk or presentation types › Invited academic talk