Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: swiRef=04254792X
Link zu diesem Datensatz | https://d-nb.info/117562571X |
Art des Inhalts | Hochschulschrift |
Titel | Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets |
Person(en) | Brandau, Christoph (Verfasser) |
Organisation(en) | Springer Fachmedien Wiesbaden (Verlag) |
Ausgabe | 1. Auflage 2019 |
Verlag | Wiesbaden : Springer Fachmedien Wiesbaden |
Zeitliche Einordnung | Erscheinungsdatum: 2019 |
Umfang/Format | Online-Ressource (pdf) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Brandau, Christoph: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets |
Persistent Identifier |
URN: urn:nbn:de:101:1-2019011803132483390548 DOI: 10.1007/978-3-658-25244-1 |
URL | http://www.springerlink.com/content/978-3-658-25244-1 (Verlag) |
ISBN/Einband/Preis | 978-3-658-25244-1 |
EAN | 9783658252441 |
Sprache(n) | Deutsch (ger) |
Anmerkungen | Lizenzpflichtig |
Schlagwörter | Digitalschaltung ; Schaltungsentwurf ; Petri-Netz ; Bedingungs-Ereignis-System ; Schaltungslogik ; VHDL ; Transformation ; Hardwareverifikation ; Implementierung <Informatik> ; Validierung |
DDC-Notation | 621.395 [DDC23ger]; 621.392 [DDC23ger] |
Sachgruppe(n) | 621.3 Elektrotechnik, Elektronik |
Online-Zugriff | Archivobjekt öffnen |