Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	International Federation for Information Processing Working Group Very Large Scale Integration (BerichterstatterIn), CHARME (BerichterstatterIn)
Weitere Verfasser:	Borrione, Dominique (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 2005
Schriftenreihe:	Lecture notes in computer science 3725
Schlagworte:	Konferenzschrift > Hardwareentwurf > Formale Methode > Hardwareverifikation > Model Checking > System-on-Chip > Entwurfsautomation > Entwurfssprache
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!