MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Zusammenfassung: Das vorliegende Dokument enthält den Tagungsband des 19. GI/ITG/GMM-Workshops "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV'16), der am 1. und 2. März 2016 an der Technischen Fakultät der Uni Freiburg stattgefunden hat
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Classification
-
Informatik
- Keyword
-
Verifikation
Mathematische Modellierung
Schaltung
System
- DOI
-
10.6094/UNIFR/10617
- URN
-
urn:nbn:de:bsz:25-freidok-106173
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Wimmer, Ralf
- Universität
Time of origin
- 2016
Other Objects (12)
![GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998
Entwurf integrierter Schaltungen : Vorträge der GMM/GI/ITG-Fachtagung vom 22. bis 24. September 1999 in Darmstadt
Entwurf integrierter Schaltungen und Systeme : Vorträge der GMM/GI/ITG-Fachtagung vom 31. März bis 1. April 2003 in Erlangen
Gemeinsamer Tagungsband / 5. GI-ITG-GMM-Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme und Austrochip '97 : April 1997 in Linz, Oberösterreich
2. GI-ITG-Workshop Anwenderprogrammierbare Schaltungen : 22. - 23. Juni 1995, Karlsruhe
12. GI/ITG Fachgespräch Sensornetze
2. GI/ITG KuVS Fachgespräch
Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden ; mit CD-ROM
Zuverlässigkeit und Entwurf : 1. GMM/GI/ITG-Fachtagung vom 26. bis 28. März 2007 in München ; mit CD-ROM
Zuverlässigkeit und Entwurf : 3. GMM/GI/ITG-Fachtagung vom 21. bis 23. September 2009 in Stuttgart ; mit CD-ROM
Zuverlässigkeit und Entwurf : 4. GMM/GI/ITG-Fachtagung vom 13. bis 15. September 2010 in Wildbad Kreuth ; mit CD-ROM
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998
Entwurf integrierter Schaltungen : Vorträge der GMM/GI/ITG-Fachtagung vom 22. bis 24. September 1999 in Darmstadt
Entwurf integrierter Schaltungen und Systeme : Vorträge der GMM/GI/ITG-Fachtagung vom 31. März bis 1. April 2003 in Erlangen
Gemeinsamer Tagungsband / 5. GI-ITG-GMM-Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme und Austrochip '97 : April 1997 in Linz, Oberösterreich
2. GI-ITG-Workshop Anwenderprogrammierbare Schaltungen : 22. - 23. Juni 1995, Karlsruhe
12. GI/ITG Fachgespräch Sensornetze
2. GI/ITG KuVS Fachgespräch
Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden ; mit CD-ROM
Zuverlässigkeit und Entwurf : 1. GMM/GI/ITG-Fachtagung vom 26. bis 28. März 2007 in München ; mit CD-ROM
Zuverlässigkeit und Entwurf : 3. GMM/GI/ITG-Fachtagung vom 21. bis 23. September 2009 in Stuttgart ; mit CD-ROM
Zuverlässigkeit und Entwurf : 4. GMM/GI/ITG-Fachtagung vom 13. bis 15. September 2010 in Wildbad Kreuth ; mit CD-ROM
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998
Entwurf integrierter Schaltungen : Vorträge der GMM/GI/ITG-Fachtagung vom 22. bis 24. September 1999 in Darmstadt
Entwurf integrierter Schaltungen und Systeme : Vorträge der GMM/GI/ITG-Fachtagung vom 31. März bis 1. April 2003 in Erlangen
Gemeinsamer Tagungsband / 5. GI-ITG-GMM-Workshop Methoden des Entwurfs und der Verifikation Digitaler Systeme und Austrochip '97 : April 1997 in Linz, Oberösterreich
2. GI-ITG-Workshop Anwenderprogrammierbare Schaltungen : 22. - 23. Juni 1995, Karlsruhe
12. GI/ITG Fachgespräch Sensornetze
2. GI/ITG KuVS Fachgespräch
Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden ; mit CD-ROM
Zuverlässigkeit und Entwurf : 1. GMM/GI/ITG-Fachtagung vom 26. bis 28. März 2007 in München ; mit CD-ROM
Zuverlässigkeit und Entwurf : 3. GMM/GI/ITG-Fachtagung vom 21. bis 23. September 2009 in Stuttgart ; mit CD-ROM