Celebration Event for Frank de Boer's 60th Birthday

Aichernig, B. (Speaker)

Activity: Talk or presentationInvited talkScience to science

Description

Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking
Period3 Apr 2016
Event titleCelebration Event for Frank de Boer's 60th Birthday
Event typeWorkshop
LocationEindhoven, Netherlands

Fields of Expertise

  • Information, Communication & Computing