QSIC 2010

Harald Brandl (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Automated Conformance Verification of Hybrid Systems
Period14 Jul 201015 Jul 2010
Event titleQSIC 2010
Event typeConference