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
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Klassifikation
-
Informatik
- Schlagwort
-
Verifikation
Mathematische Modellierung
Schaltung
System
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2016
- Beteiligte Personen und Organisationen
- DOI
-
10.6094/UNIFR/10617
- URN
-
urn:nbn:de:bsz:25-freidok-106173
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Wimmer, Ralf
- Universität
Entstanden
- 2016
Ähnliche Objekte (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