Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Applying Tailored Formal Methods to X-ATPG."
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/1122647360 |
| Titel | Applying Tailored Formal Methods to X-ATPG : (extended abstract) |
| Person(en) |
Scheibler, Karsten (Verfasser) Erb, Dominik (Verfasser) Becker, Bernd (Verfasser) Wimmer, Ralf (Herausgeber) |
| Verlag | Freiburg : Universität |
| Zeitliche Einordnung | Erscheinungsdatum: 2016 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:bsz:25-freidok-110839 DOI: 10.6094/UNIFR/10647 |
| URL | https://www.freidok.uni-freiburg.de/data/11083 (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ; 15 |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
