Celebration Event for Frank de Boer's 60th Birthday

Activity: Talk or presentation › Invited talk › Science 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, NetherlandsShow on map

Fields of Expertise

  • Information, Communication & Computing

Related content