Compositionality and Modularity in Embedded System Design: Interface Synthesis and Interface Theories, at University of Luxembourg

  • Stavros Tripakis (Kutsuttu puhuja)

Aktiviteetti: Kutsuttu akateeminen esitelmä

Aikajakso5 huhtik. 2011
PidettyUniversity of Luxembourg, Luxemburg
Tunnustuksen arvoInternational