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

Activity: Talk or presentation › Invited talk › Science to science

Description

Talk: Testing Hybrid Systems with Action Systems
Period5 Nov 2009
Event titleFMCO 2008: International Symposium on Formal Methods for Components and Objects
Event typeConference