FMCO 2008: International Symposium on Formal Methods for Components and Objects

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Beschreibung

Talk: Testing Hybrid Systems with Action Systems
Zeitraum5 Nov 2009
EreignistitelFMCO 2008: International Symposium on Formal Methods for Components and Objects
VeranstaltungstypKonferenz