Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Brandau, Christoph (VerfasserIn)
Körperschaft:	Springer Fachmedien Wiesbaden (Verlag)
Weitere Verfasser:	Tutsch, Dietmar (VerfasserIn eines Geleitwortes)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Wiesbaden, Heidelberg Springer Vieweg 2019
Schriftenreihe:	Research
Schlagworte:	Hochschulschrift > Digitalschaltung > Schaltungsentwurf > Petri-Netz > Bedingungs-Ereignis-System > Schaltungslogik > VHDL > Transformation > Hardwareverifikation > Implementierung > Validierung > Theoretische Informatik
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverzeichnis: Seite 231-253
Beschreibung:	XXVIII, 281 Seiten Diagramme 21 cm x 14.8 cm
ISBN:	365825243X 3-658-25243-X 9783658252434 978-3-658-25243-4