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
Held atCelebration Event for Frank de Boer's 60th Birthday
Event typeWorkshop
LocationEindhoven, Netherlands

Keywords

  • Information, Communication & Computing