Bridging the gap between reactive synthesis and supervisory control, at NSF Expeditions Summer School

  • Stavros Tripakis (Kutsuttu puhuja)

Aktiviteetti: Kutsuttu akateeminen esitelmä

Aikajakso12 kesäk. 2013 → 15 kesäk. 2100
Tapahtuman otsikkoNSF Expeditions Summer School on Computer Augmented Program Engineering
Tapahtuman tyyppiCourse
SijaintiYhdysvallatNäytä kartalla
Tunnustuksen arvoInternational