Formal hardware verification methods and systems in comparison

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Kropf, Thomas (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1997
Schriftenreihe:	Lecture notes in computer science 1287
Schlagworte:	Integrated circuits > Very large scale integration > Verification > Formal methods (Computer science) > Hardwareverifikation
Online Zugang:	Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!