Skip to main navigation Skip to search Skip to main content
Original languageGerman
Pages51-60
Number of pages10
Publication statusPublished - 2006
EventMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) - Dresden, Germany
Duration: 20.02.200622.02.2006

Conference

ConferenceMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Country/TerritoryGermany
CityDresden
Period20.02.0622.02.06

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

  1. SDG 9 - Industry, Innovation, and Infrastructure
    SDG 9 Industry, Innovation, and Infrastructure

Cite this