Formal Methods 2009 Doctoral Symposium

  • Harald Brandl (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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