Celebration Event for Frank de Boer's 60th Birthday

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationGastvortragScience to science

Beschreibung

Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking
Zeitraum3 Apr 2016
VeranstaltungstypWorkshop
OrtEindhoven, Niederlande

Fields of Expertise

  • Information, Communication & Computing