Konferenzschrift | Kongress

Tagungsband / 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22. - 24.2.2010 in Dresden

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783839601037
Dimensions
21 cm
Extent
248 S.
Notes
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben

Classification
Elektrotechnik, Elektronik
Keyword
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation

Event
Veröffentlichung
(where)
Stuttgart
(who)
Fraunhofer-Verl.
(when)
2010
Contributor
Dietrich, Manfred
Gesellschaft für Informatik
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (13 : 2010 : Dresden)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.03.2025, 12:27 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Dietrich, Manfred
  • Gesellschaft für Informatik
  • Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (13 : 2010 : Dresden)
  • Fraunhofer-Verl.

Time of origin

  • 2010

Other Objects (12)

Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts

Konferenzschrift

Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht

Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht

MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki

MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki

Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]

Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.

Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.

Charakterisierung und Modellierung glasfaserverstärkter Thermoplaste unter dynamischen Lasten

Hochschulschrift

Charakterisierung und Modellierung glasfaserverstärkter Thermoplaste unter dynamischen Lasten

Kinematische Modellierung und Regelung omnidirektionaler, nicht-holonomer Fahrwerke

Hochschulschrift

Kinematische Modellierung und Regelung omnidirektionaler, nicht-holonomer Fahrwerke

Modellierung eines Komfortindex zur Beurteilung des Raumklimas am Beispiel der Passagierflugzeugkabine

Hochschulschrift

Modellierung eines Komfortindex zur Beurteilung des Raumklimas am Beispiel der Passagierflugzeugkabine

Modellierung und Lösung parametrischer Packungsprobleme mittels semi-infiniter Optimierung : angewandt auf die Verwertung von Edelsteinen

Hochschulschrift

Modellierung und Lösung parametrischer Packungsprobleme mittels semi-infiniter Optimierung : angewandt auf die Verwertung von Edelsteinen

Auslegung von Multidomänen-Systemen : Analyse, Modellierung und Realisierung von mechatronischen Systemen am Beispiel einer aktiven Knieprothese

Hochschulschrift

Auslegung von Multidomänen-Systemen : Analyse, Modellierung und Realisierung von mechatronischen Systemen am Beispiel einer aktiven Knieprothese

Related objects