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!

Keine Ergebnisse!