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

Aichernig, B. (Speaker)

Activity: Talk or presentationInvited talkScience to science

Description

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