Hardware Model Checking Competition

  • Armin Biere (Järjestäjä)
  • Tom van Dijk (Järjestäjä)
  • Keijo Heljanko (Järjestäjä)

Aktiviteetti: Työpajan, paneelin, session, tutoriaalin tai tapahtuman järjestäminen

Description

Organization of the Hardware Model Checking Competition (HWMCC 2017)
Aikajakso2 lokak. 2017 → 6 lokak. 2017
Tapahtuman tyyppiCompetition
SijaintiVienna, ItävaltaNäytä kartalla
Tunnustuksen arvoInternational

Tähän liittyvä sisältö