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 2010 - 15 Jul 2010
Held atQSIC 2010
Event typeConference