Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (VerfasserIn), Shaker Verlag (Verlag)
Weitere Verfasser:	Große, Daniel (HerausgeberIn), Drechsler, Rolf (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen Shaker Verlag 2017
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Konferenzschrift > Entwurfsautomation > Systemsynthese > Modellierung > Beschreibungssprache > Verifikation
Online Zugang:	Inhaltsverzeichnis Full Text
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!