Formal Methods 2009 Doctoral Symposium

Harald Brandl (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Testing of Hybrid Systems using Qualitative Models
Period6 Nov 2009
Held atFormal Methods 2009 Doctoral Symposium
Event typeConference