Celebration Event for Frank de Boer's 60th Birthday

Aktivität: Vortrag oder Präsentation › Gastvortrag › Science to science

Beschreibung

Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking
Zeitraum3 Apr. 2016
EreignistitelCelebration Event for Frank de Boer's 60th Birthday
VeranstaltungstypWorkshop
OrtEindhoven, NiederlandeAuf Karte anzeigen

Fields of Expertise

  • Information, Communication & Computing

Verbundene Inhalte