Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Tenth IEEE International High-Level Design Validation and Test Workshop, 2005, 2005, p.237-244
2005
Volltextzugriff (PDF)

2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC), 2019, p.27-32
2019
Volltextzugriff (PDF)

Proceedings of the Design Automation & Test in Europe Conference, 2006, Vol.1, p.1-6
2006
Volltextzugriff (PDF)

Journal of circuits, systems, and computers, 2007-12, Vol.16 (6), p.943-960
2007
Volltextzugriff (PDF)

2011 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011, p.55-64
2011
Volltextzugriff (PDF)

Correct Hardware Design and Verification Methods, 2005, p.376-379
1ère éd, 2005
Volltextzugriff (PDF)

2008 IEEE International High Level Design Validation and Test Workshop, 2008, p.56-63
2008
Volltextzugriff (PDF)

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings, 2003, p.265-274
2003
Volltextzugriff (PDF)

2005 International Conference on Information and Communication Technology, 2005, p.125-143
2005
Volltextzugriff (PDF)

2015 Forum on Specification and Design Languages (FDL), 2015, p.1-7
2015
Volltextzugriff (PDF)

2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012, p.165-168
2012
Volltextzugriff (PDF)

2011 IEEE 9th International New Circuits and systems conference, 2011, p.378-381
2011
Volltextzugriff (PDF)

2011 7th Conference on Ph.D. Research in Microelectronics and Electronics, 2011, p.225-228
2011
Volltextzugriff (PDF)

2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC), 2009, p.83-88
2009
Volltextzugriff (PDF)

2009 Forum on Specification & Design Languages (FDL), 2009, p.1-6
2009
Volltextzugriff (PDF)

Assertion-Based Design with Horus
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008, p.75-76
2008
Volltextzugriff (PDF)

2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2009, p.218-221
2009
Volltextzugriff (PDF)

2006 IFIP International Conference on Very Large Scale Integration, 2006, p.397-402
2006
Volltextzugriff (PDF)

2007 IEEE Design and Diagnostics of Electronic Circuits and Systems, 2007, p.1-6
2007
Volltextzugriff (PDF)

Languages, Design Methods, and Tools for Electronic System Design, 2016, p.103-124
2016
Volltextzugriff (PDF)

2006 6th International Workshop on System on Chip for Real Time Applications, 2006, p.135-140
2006
Volltextzugriff (PDF)

Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06), 2006, p.98-102
2006
Volltextzugriff (PDF)


2008 3rd International Design and Test Workshop, 2008, p.249-254
2008
Volltextzugriff (PDF)